Na versão mais recente do Ubuntu, que é o Ubuntu 17.10 com ambiente de desktop padrão do GNOME, o Ubuntu desativou a extensão do tema do usuário na ferramenta gnome tweak. Por causa disso não posso mudar o tema do GNOME. Como habilito/instalo a extensão do tema do usuário?
Responder1
Fiz uma nova instalação do 17.10 e a extensão do shell User Themes não foi instalada por padrão.
Você pode instalar a extensão baixando-a emaqui no site de extensões do GNOME Shell.
Depois de instalar oTemas de usuárioextensão do site, habilite-a por meio da ferramenta Tweak (se ainda não estiver habilitada) e feche/reabra a ferramenta Tweak. Então a opção de alterar o tema do shell deverá estar disponível na primeira página.
No meu sistema, não consegui instalar extensões de shell do site porque o conector GNOME Shell Integration não estava instalado. Você pode instalar isso executando em um terminal:
sudo apt install chrome-gnome-shell
Se você precisar instalar o conector, atualize a página da extensão no seu navegador antes de tentar instalar a extensão.
Responder2
Eu tive a mesma pergunta.
Essencialmente, digitei Tweak na pesquisa e fui ao Ubuntu Software Center para reinstalá-lo.
Voilá.