En Gnome Tweak Tool, no puedo cambiar el tema de Shell:

Al pasar por encima de los espectáculos signo de exclamación la siguiente herramienta de punta: Shell user-theme extension not enabled. Estoy usando Ubuntu 14.10 y he instalado gnome-shell-extensions.
themes
gnome-shell
gnome-shell-extension
ratonesagol
fuente
fuente

Respuestas:
Resolví este problema yo mismo, y fue una solución extremadamente trivial:
Gnome Tweak Tool.Extensionselemento del menú y mueva elUser themescontrol deslizante aOn.Gnome Tweak Tooly ábrelo de nuevo.Shell themeen elAppearancemenú.fuente
Además de
@miceagol'sresponder: si no veUser Themesen elExtensionspanel de GNOME Tweak Tool, es posible que deba instalarlo desde extensiones.gnome.org . Reinicie la herramienta de ajustes después de la instalación.fuente
Puedes configurar un tema usando Terminal:
utilice un tema predeterminado de trabajo conocido como el anterior y debería recuperarlo, pero este a continuación puede ser su verdadera pesadilla, son temas que no funcionarán. Romper la herramienta de ajuste.
Sin embargo, desinstalar un tema no es tan fácil ... No tengo idea de cómo eliminar un mal tema de la lista en la herramienta de ajustes.
fuente