Como alterar as preferências de perfil do terminal gnome usando dconf ou gsettings?

12

Após a atualização do Ubuntu 14.10 para 15.10, parece que a mudança de gnome-terminal preferências usando gconftool-2 não é mais suportada. Acho que esse problema está relacionado à migração do Gconf para GSettings .

Agora, eu gostaria de alterar alguns dos meus scripts antigos (já que eles estão quebrados no Ubuntu 15.10) para trabalhar com dconf / gesettings em vez de gconftool-2 .

Como exemplo, no Ubuntu 14.10 ( gnome-terminal versão 3.6.2) eu poderia definir o número de colunas no perfil Default usando:

$ gconftool-2 --set /apps/gnome-terminal/profiles/Default/default_size_columns \
            --type=int 140
$ gconftool-2 --set /apps/gnome-terminal/profiles/Default/use_custom_default_size \
            --type=bool true

Agora, no Ubuntu 15.10, digite:

$ dconf list /org/gnome/terminal/legacy/

profiles:/
schema-version

enquanto

$ gsettings list-relocatable-schemas | grep Terminal

org.gnome.Terminal.SettingsList
org.gnome.Terminal.Legacy.Profile
org.gnome.Terminal.Legacy.Keybindings

A saída acima me confunde:

Ainda no Ubuntu 15.10 (usando gnome-terminal versão 3.16.2), se eu executar:

$ gsettings list-keys org.gnome.Terminal.Legacy.Profile:/ | grep default

Eu recebo:

default-size-rows
default-show-menubar
default-size-columns

Portanto, há uma chave default-size-columns que poderia (?) corresponder à chave default_size_columns no Ubuntu 14.10, mas não há nenhuma chave use-custom-default-size correspondente à chave use_custom_default_size no Ubuntu 14.10. Isso também me confunde.

Além disso, se eu tentar executar:

$ gsettings set org.gnome.Terminal.Legacy.Profile:/ default-size-columns 150

e abra um novo gnome-terminal a configuração de default-size-columns parece não ter efeito, pois o terminal ainda abre com 80 colunas.

    
por Håkon Hægland 09.02.2016 / 21:49

1 resposta

13

A sintaxe a ser usada com o comando gsettings é descrita em Perguntas frequentes sobre o terminal GNOME .

Primeiro, você precisa descobrir o identificador do perfil que deseja alterar. Por exemplo, o identificador do perfil padrão gnome-terminal pode ser obtido do esquema org.gnome.Terminal.ProfilesList .

Em seguida, altere as chaves desejadas do caminho /org/gnome/terminal/legacy/profiles:/:UUID/ do esquema org.gnome.Terminal.Legacy.Profile: para este perfil.

Observe os dois pontos no caminho acima. Não funcionará se forem omitidos.

Aqui está um script que usa o acima para definir default-size-columns do perfil padrão:

profile=$(gsettings get org.gnome.Terminal.ProfilesList default)
profile=${profile:1:-1} # remove leading and trailing single quotes
gsettings set "org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:$profile/" default-size-columns 150
    
por Håkon Hægland 13.02.2016 / 17:00