我在 Ubuntu 12.04 下运行 gnome-shell 3.4.1。我一直在尝试来自http://extensions.gnome.org 的各种扩展，现在我想完全删除一些扩展，特别是因为它们不占用 Gnome Tweak Tool 中的空间。 只删除 下的扩展文件夹是否安全~/.local/share/gnome-shell/extensions/？
~/.local/share/gnome-shell/extensions/
gnome 12.04 gnome-shell-extension gnome-shell
12.04 ×1
gnome ×1
gnome-shell ×1
gnome-shell-extension ×1