我正在Ubuntu 12.04下运行gnome-shell 3.4.1。我一直在尝试从http://extensions.gnome.org进行各种扩展，现在我想完全删除一些扩展，尤其是这样，因为它们不会在Gnome Tweak Tool中占用空间。
删除下面的扩展文件夹是否安全~/.local/share/gnome-shell/extensions/？
某些错误
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手动删除扩展名。
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句