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

20

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?

Ariel
fuente

Respuestas:

26

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 .

ingrese la descripción de la imagen aquí

  • 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!

ingrese la descripción de la imagen aquí

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