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:



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