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
.Extensions
elemento del menú y mueva elUser themes
control deslizante aOn
.Gnome Tweak Tool
y ábrelo de nuevo.Shell theme
en elAppearance
menú.fuente
Además de
@miceagol's
responder: si no veUser Themes
en elExtensions
panel 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