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
fuente
gnome-shell-extensions
no parece estar disponible en 12.04. ¿Sabes cómo obtenerlo?