Cómo activar la extensión de Gnome shell para cambiar de tema

Actualización 19/04/2017: Se ha testeado que funciona para las versiones de Ubuntu 16.04 y posteriores, incluyendo Gnome 3.22

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