I followed the instructions from here but I got the following error when trying to install gnome-shell-extensions-user-theme:
The following packages have unmet dependencies:
gnome-shell-extensions-user-theme : Depends: gnome-shell-extensions-common but it is not going to be installed
Extra information:
Running Ubuntu with Gnome3
gnome-shell-extensions-common depends upon gnome-shell-extensions, which already includes the user-theme extension, and so conflicts with the gnome-shell-extensions-user-theme package. There seems to be something wrong with the dependencies in that repository.
Anyway, you can simply install gnome-shell-extensions, which has the user theme extension. That's what I did and it worked.
Change themes using gnome-tweak-tool.
In your Terminal, do this:
sudo apt-get install gnome-shell-extensions-common
sudo apt-get install -f
You may force gnome-shell-extensions-common package version to be provided by the same PPA you're trying to install gnome-shell-extensions-user-theme from. I'm wondering if you have different repos provide those packages in your sources...
