Preguntas etiquetadas con gnome-shell

20
¿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é