Révision de (Personalización) CÓMO Cambiar temas de Gnome-shell du ven, 10/17/2014 - 17:26
Les révisions vous permettent de suivre les différences entre plusieurs versions d’un message.
Si instalas el entorno Gnome-shell en tu Trisquel verás que no puedes cambiar de tema shell con la aplicación "Advanced Settings" que aparece en "Configuración del sistema" -o "System settings"-.
Se pueden cambiar los temas gtk y los temas de ventanas pero no aparece por ninguna parte el entorno de shell unos ejemplos.
Aquí va una forma simple de conseguirlo.
El equipo Gnome3 Team hizo un repositorio que incluye la ampliación de las funciones de Gnome Tweak Tool. De esta forma sólo tenemos que añadir un ppa con:
sudo add-apt-repository ppa:gnome3-team/gnome3
luego actualizar con:
sudo aptitude update
y, si ya tenemos instalado Gnome Tweak Tool no hace falta más que reiniciar. Si no lo habíamos instalado todavía, lo hacemos:
sudo aptitude install gnome-tweak-tool
y con eso ya tendremos una interfaz que nos permita cambiar la shell de nuestro Trisquel Gnome-shell.
| Pièce jointe | Taille |
|---|---|
| Vista de Gnome Tweak Tool con opción a cambio de shell | 769.24 Ko |
