私はDebian Wheezy stableとGnome 3.4を使用しており、インストールされている拡張ページにいくつかの基本的な拡張があります。https://extensions.gnome.org/local/(IceweaselのGnome Shell統合プラグインを使用)Extensions.gnome.orgで直接追加したように削除することはできません。
これには次のものが含まれます(とにかく私はこれらのうちの1つまたは2つがアクティブになっており、すべての簡単な概要を取得できないため、完全なリストではない可能性があります)。
代替ステータス
メニューアプリケーションメニュー
自動移動Windows
Dock
Gajim IM統合位置ステータス
表示
システムモニタ
ユーザーテーマウィンドウ
エクスプローラ
ワークスペース表示
「インストールされた拡張機能」ページのHTMLを調べた結果、Firefoxの開発者ツールを介してハッキングして(少なくともHTMLに関する限られた知識だけを素早く見るだけで)、そのページからこれらの拡張機能を削除することができます。ないことがわかりました。
/usr/share/gnome-shell/extensions/alternative-status-menu@gnome-shell-extensions.gcampax.github.com
最初のフォルダを削除してからGnome Shellを再起動すると、リストから削除されるのと同じくらい簡単ですか?
後で問題が発生せずに正しく実行したいと思います。
答え1
私にとっては、これらのパッケージをFedora 26
実行すると、gnome 3.24
実際にオペレーティングシステムパッケージとしてインストールされます。
実行すると、sudo dnf list installed | grep -i gnome
通常と同じ名前を見ることができますgnome-shell-extension-foo
。
インストールされている拡張機能ページを直接使用する代わりに、このパッケージを削除して削除できます。ブラウザセッションを再開しましたが、拡張機能がリストから消えました。