Antes de mais nada, é preciso que você use o GNOME 3 "integralmente", ou seja, já tenha instalado o " gnome- shell" e o "gnome-tweak-tool", além de logar no "GNOME Shell" pelo "LightDM" (gerenciador de login).

Agora vá até o site da extensão:

• https://extensions.gnome.org/extension/19/user- themes/

E clique no botão "off" (desligado) para mudá-lo para "on" (ligado), pois é assim que se faz a instalação.

Agora vem o pulo-do-gato. Abra o terminal e rode os comandos abaixo, uma linha de cada vez:

cd ~/.local/share/gnome-shell/extensions/[email protected]/schemas/
$ sudo cp org.gnome.shell.extensions.user-theme.gschema.xml /usr/share/glib-2.0/schemas/
$ sudo glib-compile-schemas /usr/share/glib-2.0/schemas/

E é o que basta para o "gnome-tweak-tool" do Ubuntu 12.04 funcionar com a extensão "user-themes".

Até a próxima dica.