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

Un comentario en “Cómo activar la extensión de Gnome shell para cambiar de tema”

Deja un comentario

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.