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

Após a atualização do Ubuntu 14.10 para 15.10, parece que a alteração das gnome-terminalpreferências usando gconftool-2não é mais suportada. Eu acho que esse problema está relacionado à migração do Gconf para o GSettings .

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

Como exemplo, no Ubuntu 14.10 ( gnome-terminalversão 3.6.2) eu poderia definir o número de colunas no Defaultperfil 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/

dá

profiles:/
schema-version

enquanto que

$ gsettings list-relocatable-schemas | grep Terminal

dá

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

A saída acima me confunde:

• Por que existe um /org/gnome/terminal/legacy/profiles:/caminho para, dconfmas não org.gnome.Terminal.Legacy.Profileso sID do esquema (observe o final ) gsettings? Além disso, consulte dconf-editor e gsettings não devem acessar o mesmo banco de dados? Para maiores informações.

Ainda no Ubuntu 15.10 (usando a gnome-terminalversã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

então existe uma default-size-columnschave que pode (?) corresponder à default_size_columnschave no Ubuntu 14.10, mas não existe uma use-custom-default-sizechave correspondente à use_custom_default_sizechave 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-terminala configuração de default-size-columnsparece não ter efeito, já que o terminal ainda abre com 80 colunas.

A sintaxe a ser usada com o gsettingscomando está descrita nas Perguntas freqüentes do terminal GNOME .

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

Altere as chaves desejadas do caminho /org/gnome/terminal/legacy/profiles:/:UUID/do esquema org.gnome.Terminal.Legacy.Profile:para esse perfil.

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

Aqui está um script que usa o acima para definir default-size-columnso 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