Eu quero usar temas de usuário para o shell do gnome, mas estou tendo problemas. Eu instalei a extensão de tema do usuário, mas ela não aparece na ferramenta gnome tweak. Para confirmar que eu tenho a extensão de temas do usuário instalada, aqui está o feedback que recebo quando tento instalá-lo através do terminal novamente:
sudo apt-get install gnome-shell-extensions-user-theme
Reading package lists... Done
Building dependency tree
Reading state information... Done
gnome-shell-extensions-user-theme is already the newest version.
0 upgraded, 0 newly installed, 0 to remove and 1 not upgraded.
Entro no Shell Extensions e não há opção para ativar os temas do usuário.
Comentário convertido em uma resposta
Depois de instalar a extensão de tema do usuário, você deve reiniciar o gnome-shell. Só então a extensão apareceria na ferramenta de ajuste do GNOME.
Para isso, pressione Alt + F2 e digite r na caixa de diálogo. Agora o gnome-shell será reiniciado e a extensão aparecerá na ferramenta tweak.