Não é possível instalar o tema shell do Gnome 3

Question

Eu tenho um tema instalado e posso configurar tudo usando o Gnome Tweak Tool, exceto pelo tema do shell. Tem um erro ao desativar a opção de fazer isso:

Eutambémachoqueesseproblemaestácausandoessafalhadeinterfacegráficasematrativo,quecriaumacaixapretaemtornodecertasjanelas,como:

O que posso fazer para resolver este problema?

    

Answer 1

A opção Tema do Shell no GNOME Tweak Tool precisa da extensão User Shell Themes, quando o pop-up do mouse diz:

Aextensãoestádisponívelnolink ou instalando gnome-shell-extensions :

sudo apt-get install gnome-shell-extensions

Se você instalou manualmente, em vez de usar o plugin do GNOME Shell (que funciona no Firefox), então você pode precisar reiniciar o GNOME Shell (pressione Alt F2 , digite r , pressione Enter ).