3

I have want to use user themes for gnome shell, but I am having troubles. I installed the user theme extension, but it doesn't appear to show up under the gnome tweak tool. To confirm that I have the user themes extension installed, here is the feedback I get when I try to install it through terminal again:

sudo apt-get install gnome-shell-extensions-user-theme
Reading package lists... Done
Building dependency tree       
Reading state information... Done
gnome-shell-extensions-user-theme is already the newest version.
0 upgraded, 0 newly installed, 0 to remove and 1 not upgraded.

I go under Shell Extensions and there is not option to enable User Themes.

6
  • I can't get this package to show up in a dpkg -s or apt-cache search lookup. Are you using a PPA? Nov 4, 2011 at 23:43
  • 1
    Yes, I am using a PPA.
    – egidra
    Nov 4, 2011 at 23:46
  • 2
    Did you restart GNOME Shell after installing it? This is required for an extension to show up in GNOME Tweak Tool. Also, what PPA did you use? Nov 4, 2011 at 23:48
  • Yes, I forgot. I followed a guide on the internet, but I exited the tab. Do you think I can reinstall it somehow?
    – egidra
    Nov 4, 2011 at 23:52
  • I believe this is the ppa that I used: ppa:ferramroberto/gnome3
    – egidra
    Nov 5, 2011 at 0:05

1 Answer 1

6

Comment converted to an answer

After installing the user theme extension, you should restart gnome-shell. Only then would the extension show up in the GNOME tweak tool.

To do that, press Alt + F2 and enter r in the dialog box. Now gnome-shell would restart and the extension will show up in the tweak tool.

1
  • I have a self created extension which was not showing up in gnome-tweak-tool. After changing the extension name in metadata.json and entering ALT+F2 and restarting gnome-shell with command "r" the extension showed up.
    – domih
    Oct 25, 2016 at 18:24

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .