Ubuntuの新規インストール(12.04、64ビット)で、gnome-shellをインストールした後、extensions.gnome.orgからいくつかの拡張機能をインストールしようとしましたが、結果が得られませんでした。FirefoxとChromiumで試したところ、同じ問題が発生しました。
extensions.gnome.orgの拡張ページを開きます。
拡張機能を「オン」に切り替えます。インストールに関する確認に同意します。
何も起こらず、何もインストールされていません(
.local/share/gnome-shell/extensions
空です)。
.xsession-errors、Firefoxのjavascriptコンソール、gnome-shellコンソールのエラー(Alt-F2 +ルッキンググラス)を確認しました。エラーの痕跡はありません。