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.