Ubuntu – How to completely remove a gnome shell extension

12.04gnomegnome-shellgnome-shell-extension

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/?

Best Answer

From Gnome shell page It says:

There are some bugs in GNOME 3.2 that 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 enter restart.

So, You'll Be Fine removing extension under ~/.local/share/gnome-shell/extensions manually.

Related Question