Não é possível usar temas personalizados, o Gnome Shell 3.2

Question

Não consigo usar a ferramenta gnome tweak para permitir a troca de temas, nem para instalar as extensões necessárias e fazê-las funcionar. Alguém poderia me dar alguma indicação?

EDITAR : Corrigido, mas esqueci como fiz isso. Desculpe.

    

Answer 1

Eu tive que enfrentar esse problema novamente e encontrei uma solução:

postagem do blog original aqui

Istall a extensão do tema do usuário do ppa:

sudo add-apt-repository ppa:ferramroberto/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-user-theme

Reinicie fazendo logout e voltando para ou com ALT-F2 e r .

Abra a ferramenta gnome tweak, vá para Shell Extensions, ative a User Themes Extension.

Feche a ferramenta tweak, reinicie o gnome-shell novamente.

Agora abra a ferramenta gnome tweak novamente e, sob o tema, você deve ser capaz de selecionar o seu tema shell.