Gnomeのデフォルトのプリインストールされた拡張機能を削除するには?

Gnomeのデフォルトのプリインストールされた拡張機能を削除するには?

私は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

インストールされている拡張機能ページを直接使用する代わりに、このパッケージを削除して削除できます。ブラウザセッションを再開しましたが、拡張機能がリストから消えました。

関連情報