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.
dpkg -s
orapt-cache search
lookup. Are you using a PPA?