¿Cómo puedo cambiar el tema de GNOME Shell?

He instalado GNOME Shell en Ubuntu 12.04 y quiero cambiar el "Tema de Shell", pero no me permite hacerlo.

La alerta dice algo como: "La extensión GNOME-Shell no está activada", y quiero instalarla con la consola, pero me devuelve un error.

¿Como puedó resolver esté problema?

gnome themes gnome-shell

— Ariel
fuente

Sigue estos pasos:

Instale las extensiones de GNOME Shell y la herramienta de ajustes de GNOME:

Presione Alt+ Ctrl+ Tpara abrir la terminal y ejecutar los siguientes comandos:
```
sudo apt-get install gnome-shell-extensiones gnome-tweak-tool
```

Descargar GNOME Shell Theme:

Puede encontrar muchos temas de GNOME Shell en Gnome-Look.org

¿Cómo cambiar el tema de GNOME Shell?

Una vez instalado, haga clic en Actividades en el panel superior y busque "Configuración avanzada" (o "Ajustes" o "Herramienta de ajustes") y ábralo.
En Extensiones de Shell, habilite la extensión Temas de usuario (si no está instalada, puede instalarla desde aquí ) haciendo clic en el interruptor de ENCENDIDO / APAGADO .

Cierre 'GNOME Tweak Tool' y vuelva a abrirlo, abra la configuración de temas, haga clic en el botón de exploración frente a Shell Theme y seleccione su tema personalizado, una vez actualizado, haga clic en el menú desplegable frente al botón de exploración y seleccione su tema. Verá que los cambios surten efecto de inmediato. ¡Eso es!

— Basharat Sialvi
fuente

gnome-shell-extensionsno parece estar disponible en 12.04. ¿Sabes cómo obtenerlo?

— desvío

@detly ¿no está instalado por defecto? Instale la herramienta de ajuste gnome, ¿puede ver la pestaña de extensiones de shell en ella?

— levesque

@levesque: finalmente lo encontré en el sitio web, ¡pero se necesita un poco de trabajo para instalarlo en 12.04!

— desviarse el

¿Debo extraer el zip o navegar hasta el zip?

— Tim