GNOME Shell 3.4 - I can't change theme

Question

Problem after upgrade to GNOME Shell 3.4 (Ubuntu 11.10)

I installed Ubuntu 12.04 over the previous setting the /home partition.

I installed the GNOME Shell, unfortunately I can not change a theme: http://ubuntu.pl/forum/download/file.php?id=2631

Solution 1

Here is the right way to get gnome-tweak-tool (advanced settings) to work therefore shell themes and extensions to work WITHOUT breaking your gnome shell

sudo add-apt-repository ppa:ricotz/testing
sudo apt-get install ppa-purge
sudo apt-get update
sudo apt-get install gnome-shell-extensions
sudo apt-get install gnome-shell-extensions-common
sudo ppa-purge ppa:ricotz/testing
(type N and press enter at the end of the process)

Restart the shell (Alt F2 >> r >> enter)

Solution 2

I used Synaptic to have more control over the process.

1) Enable the Gnome 3 ppa

sudo add-apt-repository ppa:gnome3-team/gnome3

2) Use Synaptic to install updates from gnome3-team/gnome3

3) Enable the Gnome Shell Testing ppa

sudo add-apt-repository ppa:ricotz/testing

4) Use Synaptic to install gnome-tweak-tool and gnome-shell-extensions from ricotz/testing

3) Disable the Gnome Shell Testing ppa either in Synaptic or from a terminal

sudo ppa-purge ppa:ricotz/testing

Now I can apply themes to my Gnome Shell which adds a very nice touch. I did find however that the extensions web page https://extensions.gnome.org/local/ where you manage your installed extensions no longer works. I suspect that installing the gnome-shell package from Gnome Shell Testing will install a compatible version of the browser plugin but that is risky and maybe not important as long as the gnome-tweak-tool is working for me.

Comments

[MuffinStateWide]

doesn't this only give you beta builds of gnome shell and its components?

[LoremIpsum]

This worked on 12.04 and gnome 3.4, thanks a lot ! Could you explain a bit more what it does, to be precise (pun freakin' intended) ?

[detly]

What do you actually do with the user-theme extension one it's installed? I have themes installed, but there's nowhere to change the GNOME Shell theme.