Quero mudar o tema do shell do gnome, uso o Ubuntu 14.10 e as extensões do usuário não funcionam, alguém pode me ajudar?
Responder1
Você deve ser capaz de usar oTemas de usuárioextensão (certifique-se de que esteja ativada):
eFerramenta de ajuste do Gnome:
Você também pode alterar o tema na linha de comando, examinando as coisas usando dconf-editor, você pode usar gsettingspara alterar o tema - portanto, para o Gnome 3.8 com a extensão User Themes, isso define o tema como "Zukitwo":
gsettings set org.gnome.shell.extensions.user-theme name "Zukitwo"
Redefine o tema:
gsettings reset org.gnome.shell.extensions.user-theme name
Obtém o nome do tema atual
gsettings get org.gnome.shell.extensions.user-theme name
Se você baixou o tema de algum lugar (por exemplo, um zip deDeviantArt), coloque o diretório do tema ~/.local/share/themes(se não existir, crie-o). Observe que o tema não funcionará se não contiver uma gnome-shellpasta com o tema shell do Gnome - nesse caso você pode criar um semelhante usandoCores elegantesou similar.
AVISO:Este método é mais difícil de desfazer e também alterará o tema da tela de login (se o tema não funcionar, é mais provável que dê errado...)
De outra forma(você pode querer fazer isso executando nautiluscomo root - se for o caso, usepkexec/gksudo), você pode copiar o conteúdo gnome-shelldo tema para /usr/share/gnome-shell/theme- antes de fazer backup do tema existente:
sudo cp -r "/usr/share/gnome-shell/theme" "/usr/share/gnome-shell/themeBACKUP"
Você também pode alterar as permissões para poder acessar este diretório como um usuário normal:
sudo chmod 777 "/usr/share/gnome-shell/theme"