Ask Ubuntu is a question and answer site for Ubuntu users and developers. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I just upgraded to Ubuntu 12.10 from the previous version.

I have Gnome 3.7.1 (according to Synaptic packet manager) and Tweak Tools. I can't get User Shell Theme Extension enabled in Tweak Tools -- there's an exclamation mark next to that switch. Can somebody help me out? I've been to but the only User Theme extension is given as "Outdated". I've downloaded two themes from and placed them in ~/.themes. If I right-click anywhere, the menu that opens up, looks quite primitive. What can I do to fix the problem?

user shell extension not enabled gnome 3.7.1

right click menu looks strange

share|improve this question
"What can I do next?". Wait for the extension to be compatible with Gnome 3.7.1 or later. – Uri Herrera Nov 1 '12 at 19:06
up vote 1 down vote accepted

You are using the testing release of gnome3 (ppa:ricotz/testing) which will generally not be compatible with extensions. In order to downgrade to gnome 3.6, you will have to purge the ricotz/testing ppa with sudo ppa-purge ppa:ricotz/testing. Then you will have to reinstall gnome shell from the standard gnome3 repository (ppa:gnome3-team/gnome3). Note that at the moment, the content of these two repositories is roughly the same as gnome 3.6 came out less than a month ago.

share|improve this answer
Does user shell extension work with gnome 3.6? – WobblyWindows Nov 1 '12 at 19:29
If you mean the user theme extension, then yes. – astex Nov 1 '12 at 19:30
By the way, I get ppa-purge: command not found from Terminal, if I give that command. – WobblyWindows Nov 1 '12 at 19:31
Then you should probably install ppa-purge...sudo apt-get install ppa-purge – astex Nov 1 '12 at 19:36

When using ppa:ricotz/testing you are suppose to use the provided gnome-shell-extensions package which contains the official extensions compatible with the latest upstream (dev-)releases. Also remove the manually installed extensions which collide with them in the package to make sure you are actually using the compatible ones.

share|improve this answer
I would explain how WobbyWindows gets the provided gnome-shell-extensions. It might help as well if you can detail how you can remove the manually installed extensions – andybleaden Nov 16 '12 at 11:19

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.