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