Geeky Way
Você pode instalar temas de usuário e outras extensões do PPA, já que as extensões não estão disponíveis nos repositórios oficiais. Digite os seguintes comandos para ter temas trabalhando.
sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-user-theme
Agora reinicie o gnome-shell usando o diálogo de execução Alt + F2 e digitando r
.
Ative o formulário de extensão gnome-tweak-tool e pronto.
Caminho alternativo preferido
Esta é de longe a maneira mais fácil de instalar a extensão "user-themes", assim como muitas outras extensões de shell do GNOME.
- Basta abrir o Firefox (você NÃO PODE usar qualquer outro navegador, a partir de agora).
- E visite extensions.gnome.org
- Você pode pesquisar a extensão que está procurando e explorar outras grandes extensões.
-
Encontrou a extensão? Basta clicar no switch para instalá-lo.
-
Aah ..... a propósito dos temas do usuário, você pode obtê-lo aqui .
Observação: O GNOME Shell não tem a caixa de diálogo Alt + F2 Run ativada por padrão, portanto, se for esse o caso, você pode ativá-lo por meio de Configurações do teclado > Atalhos > Sistema.