Problem with gnome-shell-extensions-user-theme

Question

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 installed
E: Unable to correct problems, you have held broken packages.

I am convinced that there is a problem with the package. So I went on and tried to install the extensions from the website: https://extensions.gnome.org/

But even though I use Firefox (15.0), I cannot see the "switch" that is being mentioned to install the extension. Maybe the version of Firefox is too new.

Is there any workaround that you know of?

(By the way, I use Ubuntu 12.04, freshly downloaded and installed.)

Answer 1

I know it's a little late, but if you go to the Ubuntu Software Center and search for the Gnome Shell Common package (gnome-shell-common) it will install all of the common files required here.

Please note: as the source file for the user-themes extension is provided and modified by a party outside of the included source repositories for the gnome-shell installation, compatibility cannot be guaranteed.