Como desativar “Usar cores do tema do sistema” no gnome-terminal via CLI?

3

Em um script, estou tentando definir a configuração do gnome-terminal. Definir a cor do plano de fundo funciona, mas ela é substituída por essa opção "Usar cores do tema do sistema" na guia Cores nas configurações do perfil. Como posso desativar isso com algo como gsettings ou dconf? Eu tentei, sem sucesso, encontrar o valor correto com o dconf-editor.

    
por Lasse Meyer 15.09.2016 / 13:39

1 resposta

4

Supondo que você esteja alterando o perfil padrão que vem com o gnome-terminal, você pode usar este comando para alterar a preferência de usar temas cores .

dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/use-theme-colors false

Aqui, b1dcc9dd-5262-4d8d-a863-c897e6d979b9 é o UUID do perfil padrão do terminal do Gnome.

Se você quiser alterar as configurações de outro perfil, precisa saber seu UUID. O bom é que a maioria dos usuários usa o perfil padrão, por isso deve funcionar na maioria das vezes.

Adição de comentário de OPs

O valor UUID para o perfil padrão pode ser obtido usando este comando

gsettings get org.gnome.Terminal.ProfilesList default

Portanto, obtê-lo em uma variável, digamos TPROFILE , retirando ' do início e fim com TPROFILE=${TPROFILE:1:-1} e usando-o como $TPROFILE no lugar do UUID para garantir que o perfil padrão seja alterado, mesmo se o UUID é alterado pelo usuário.

    
por Anwar 16.09.2016 / 17:37