Bueno, acabo de instalar Ubuntu 12.04 y en el ppa de WebUpd8 no tenemos la extensión “gnome-shell-extensions-user-theme”. Esto provoca que el programa “gnome-tweak-tool” no pueda instalar nuevos temas.

Pero tiene solución, y la verdad, bastante cómoda. Sólo tendremos que ir a https://extensions.gnome.org/extension/19/user-themes/ y darle a activar, siendo conscientes de que estamos en la sesión con gnome shell.
Y así de simple, ya tendremos la posibilidad de añadir más temas del shell

Enlaces | 

