Saltar al contenido

tema

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