I can't manage to get gnome tweak tool to allow me to switch themes, nor to install the required extensions and have them working. Could anyone please give me any pointers?

EDIT: Fixed it, but I forgot how I did it. Sorry.

  • Are you installing the themes on the correct directories? – Uri Herrera Oct 28 '11 at 21:41

I had to face this problem again, and found a solution:

Original blog post here

Istall the user-theme extension from ppa:

sudo add-apt-repository ppa:ferramroberto/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-user-theme

Restart by logging out and back in or with ALT-F2 and r.

Open the gnome tweak tool, go to Shell Extensions, enable the User Themes Extension.

Close the tweak tool restart gnome-shell again.

Now open the gnome tweak tool again and, under theme, you should be able to select your shell theme.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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