Problem with gnome-shell-extensions-user-theme

view story

http://askubuntu.com – I'm trying to install themes with gnome tweak, and I need to install gnome-shell-extensions-user-theme because otherwise I cannot see the shell extensions tab. However, I cannot install shell extensions. I have tried to install by adding the ppa with the following: sudo add-apt-repository ppa:webupd8team/gnome3 then, sudo apt-get update Finally, when I try to install: sudo apt-get install gnome-shell-extensions-user-theme It gives an error: The following packages have unmet dependencies: gnome-shell-extensions-user-theme : Depends: gnome-shell-extensions-common but it is not going to be in (HowTos)