Take the 2-minute tour ×
Ask Ubuntu is a question and answer site for Ubuntu users and developers. It's 100% free, no registration required.

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

share|improve this question

3 Answers 3

up vote 4 down vote accepted

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 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 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.

share|improve this answer
This seems to suggest there's a certain uninstallation process in versions after (other than manually deleting the folder and restarting) - which is, however, not specified. Anyway, thanks. –  MorganSBailey May 2 '13 at 12:26

OK, found it. In https://extensions.gnome.org, navigate under Installed extensions, where there is an X button next to each extension that uninstalls it. As mentioned in the previous answer, that only works after version

enter image description here

share|improve this answer
This does not always work... –  Wilf Nov 7 '13 at 18:53

in my case this didn't really helped since the extension was located at /usr/share/gnome-shell/extensions, after reading this, I found another site explaining more thoroughly what to do and managed to get rid of some buggy extension.

here's the site reference to help others in need:


share|improve this answer
If it is in /usr/share, it has been installed as a package. You should be able to remove it using apt-get or any other package manager - just search for the name and remove the relevant package. –  Wilf Nov 7 '13 at 18:54
Whilst this may theoretically answer the question, it would be preferable to include the essential parts of the answer here, and provide the link for reference. –  Eric Carvalho Nov 7 '13 at 19:23

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.