gnomeシェル拡張を完全に削除する方法は？

Ubuntu 12.04でgnome-shell 3.4.1を実行しています。私はhttp://extensions.gnome.orgからさまざまな拡張機能を試してきましたが、Gnome Tweak Toolでスペースを占有しないように、特にいくつかを完全に削除したいと思います。
下の拡張フォルダを削除するだけで安全~/.local/share/gnome-shell/extensions/ですか？

Gnomeシェルページから：

GNOME 3.2一部の拡張機能では、アンインストールが正常に機能しないバグがいくつかあります。GNOME Shell 3.2.2.1はこれらの問題を修正しました。拡張機能のアンインストールに問題がある場合は、システムが完全に更新されていることを確認してください。

GNOME Shell 3.2.2.1がなく、入手できない場合や不明な場合は、拡張機能を手動でアンインストールできます。拡張機能のディレクトリを削除し、シェルを再起動します。拡張子はの下に保存する必要があります~/.local/share/gnome-shell/extensions。ディレクトリを削除するだけでは十分ではありません。拡張機能が完全にアンインストールされたことを確認するには、シェルを再起動する必要があります。Alt+ F2で実行ダイアログを開き、と入力しrestartます。

したがって、拡張機能を~/.local/share/gnome-shell/extensions手動で削除しても大丈夫です。

わかった。でhttps://extensions.gnome.org、ナビゲート下にInstalled extensionsそれをアンインストールし、各拡張に次Xボタンがある場合、。前の回答で述べたように、これはバージョン3.2.2.1以降でのみ機能します。

「fmuellner」形式の拡張機能は「/ usr / share / gnome-shell / extensions /」ディレクトリに保存され、他の拡張機能は「〜/ .local / share / gnome-shell / extensions」ディレクトリに保存されるようです。私も前にこの問題を抱えていました。これらのディレクトリを削除し、コンピューターを再起動することで解決しました。ファイルブラウザまたはエクスプローラから削除することはできません。そのため、それらを削除するにはスーパーユーザー権限が必要です。ターミナルで次のコマンドを使用します。 $ sudo rm -r /usr/share/gnome-shell/extensions/ $ sudo rm -r ~/.local/share/gnome-shell/extensions/

そして、GUIからコンピューターを再起動するか、使用することができます $ sudo init 6

他のディレクトリを誤って削除しないように注意してください。上記の修正はうまくいきました。それが役に立てば幸いです。

「2か月前」の最後のアクティビティを見ましたが、そうでないと答えません。

以前はどれほど大変だったのかわかりませんが、最近では、ubuntuソフトウェアセンターの「インストール済み」セクションに簡単にアクセスできます