I'm running gnome-shell 3.4.1 under Ubuntu 12.04. I've been trying out various extensions from http://extensions.gnome.org and now I want to completely remove some, expecially so as they don't take up space in Gnome Tweak Tool.
Is it safe to just delete the extension folder under ~/.local/share/gnome-shell/extensions/?
From Gnome shell page It says:
There are some bugs in
GNOME 3.2that prevented uninstallation from
working properly for some extensions. GNOME Shell 3.2.2.1 has fixed
these problems. Make sure your system is fully updated if you are
having issues uninstalling extensions.
If you do not have GNOME Shell 3.2.2.1 and may be unable to get it, or
are unsure, you can uninstall the extension manually. Remove the
extension's directory, and then restart the Shell. The extension
should be stored under~/.local/share/gnome-shell/extensions.
Removing the directory won't be enough: you will need to restart the
Shell to make sure the extension is completely uninstalled: open the
run dialog with Alt+F2, and enterrestart.
So, You'll Be Fine removing extension under ~/.local/share/gnome-shell/extensions manually.
