Segunda vez que acontece isto comigo, atualizo o sistema e depois, não posso configurar o tema do
Gnome-Shell.
Esta dica foi testada no Gnome 3.2.1 usando
Debian SID e instalando as extensões manualmente (sem uso de
repositório).
- Instalação manual
Para quem ainda não tem a extensão e quer fazer instalação manual, baixe o arquivo
user-theme-fixed.tar.gz do site
FPMurphy
Extraia o conteúdo no diretório "~./local/share/gnome-shell/extensions/" e faça o mesmo passo da solução.
- Solução
Crie um novo arquivo, usando o editor de texto de sua preferência e adicione o conteúdo:
""
Theme name
The name of the theme, to be loaded from ~/.themes/name/gnome-shell
Salve dentro do diretório "/usr/share/glib-2.0/schemas/" com o nome: org.gnome.shell.extensions.user-theme.gschema.xml
Em seguida, execute o comando:
# sudo glib-compile-schemas /usr/share/glib-2.0/schemas/
E reinicie o Gnome-Shell, aperte: 'ALT+F2' e digite: r
Depois ative normalmente o tema do Gnome-shell, usando o
Gnome-Tweak-Tool