Como alterar o tema shell do gnome no Ubuntu 14.10? [duplicado]

1

Eu quero mudar o tema do shell do gnome, eu uso o ubuntu 14.10 e extensões de usuário não funcionam, alguém pode me ajudar?

    
por PrzemekS. 06.11.2014 / 15:39

1 resposta

2

Você deve poder usar a extensão Temas do usuário (verifique se está ativada):

e Ferramenta Gnome Tweak :

Você também pode alterar o tema a partir da linha de comando, examinando as coisas usando dconf-editor , você pode usar gsettings para alterar o tema - assim, 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 de DeviantArt ), coloque o diretório do tema em ~/.local/share/themes (se não existir, crie-o). Observe que o tema não funcionará se ele não contiver uma pasta gnome-shell com o tema do shell do Gnome - nesse caso, você pode criar uma semelhante usando Cores de elegância ou similar.

  

AVISO: Este método é mais difícil de desfazer, e também mudará o tema para a tela de login (se o tema não funcionar, provavelmente é   então é mais provável que dê errado ...)

Caso contrário (você pode querer fazer isso executando nautilus como root - se for o caso use pkexec / gksudo ) , você pode copiar o conteúdo gnome-shell bit do tema para /usr/share/gnome-shell/theme - antes, certifique-se 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 esse diretório como um usuário normal:

sudo chmod 777 "/usr/share/gnome-shell/theme"
    
por Wilf 06.11.2014 / 18:35