Na ferramenta Gnome Tweak, não consigo alterar o tema do Shell:
Pairando sobre o ponto de exclamação mostra o seguinte ferramenta de ponta: Shell user-theme extension not enabled
. Estou usando o Ubuntu 14.10 e instalei o gnome-shell-extensions.
themes
gnome-shell
gnome-shell-extension
miceagol
fonte
fonte
Respostas:
Eu mesmo resolvi esse problema e era uma solução extremamente trivial:
Gnome Tweak Tool
.Extensions
item de menu e mova oUser themes
controle deslizante paraOn
.Gnome Tweak Tool
e abra-o novamente.Shell theme
noAppearance
menu.fonte
Além de
@miceagol's
responder: Se você não vêUser Themes
noExtensions
painel da GNOME Tweak Tool, talvez seja necessário instalá-lo em extensions.gnome.org . Reinicie a ferramenta de ajustes após a instalação.fonte
Você pode definir um tema usando o Terminal:
Use um tema padrão de trabalho conhecido, como acima, e você deve voltar, mas este abaixo pode ser o seu verdadeiro pesadelo: eles não funcionam. quebre a ferramenta de ajustes.
Desinstalar um tema não é tão fácil ... Nenhuma idéia de como remover um tema ruim da lista na ferramenta de ajustes.
fonte