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

Just installed 11.10 and GNOME Tweak Tool but can't install gnome-shell-extensions-user-theme due to it not existing (or so apt-get install tells me). Because of that, there is no enabling user-theme-extensions in the advanced settings for the GNOME Tweak Tool. I can't find the repository for it anywhere. What am I doing wrong?

share|improve this question
up vote 8 down vote accepted

Geeky Way

You can install user-themes and other extensions from PPA, since extensions are not available in official repositories. Enter following commands to have themes working.

sudo add-apt-repository ppa:webupd8team/gnome3

sudo apt-get update

sudo apt-get install gnome-shell-extensions-user-theme

Now restart gnome-shell using Alt+F2 run dialog and entering r.

Enable extension form gnome-tweak-tool and you're done.

Preferred Alternate Way

This is by far the easiest way to install "user-themes" extension, as well as many other GNOME shell extensions.

  • Just open Firefox (you CAN NOT use any other browser, as of now).
  • And visit
  • You can search for extension you're looking for, as well explore other great extensions.
  • Found the extension? Just click on the switch to install it.

  • Aah..... by the way for user-themes, you can get it here.

Note: GNOME Shell doesn't have Alt+F2 Run dialog enabled by default, so if that's the case, you can enable it via Keyboard Settings>Shortcuts>System.

share|improve this answer
Ahh there's the elusive repository. Thank you so much. I don't know why I couldn't find it. – ajlain Oct 15 '11 at 20:00
Ya, credit goes to Andrew (author of, which is 2nd best place to keep track of Ubuntu-esque stuff after – Kushal Oct 15 '11 at 20:09

Did you follow the instructions on: ?

I want to add to the answer of above that extensions will, most likely, never be available by ppa (only by thirdparties proberbly, like the website webupd8 does now) extensions will come eventually available by:

share|improve this answer

You might find this helpful. If the extensions are there, (check extensions folder) but not showing in gnome-tweak-tool, it may be due to errors in the gnome-tweak tool itself

Changed the files




as mentioned in the article below.

Now you should have full access to all shell extensions and there is no longer an error from gnome-tweak-tool

Click here for details of the fix

share|improve this answer

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.