web-dev-qa-db-fra.com

Comment changer les préférences de profil de gnome-terminal en utilisant dconf ou gsettings?

Après la mise à niveau des versions Ubuntu 14.10 à 15.10, il semble que la modification des préférences gnome-terminal à l'aide de gconftool-2 ne soit plus prise en charge. Je suppose que ce problème est lié au = migration de Gconf à GSettings .

Maintenant, j'aimerais changer certains de mes anciens scripts (car ils sont cassés dans Ubuntu 15.10) pour qu'ils fonctionnent avec dconf/gesettings au lieu de gconftool-2.

Par exemple, sous Ubuntu 14.10 (gnome-terminal version 3.6.2), je pourrais définir le nombre de colonnes du profil Default à l’aide de:

$ 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

Maintenant, dans Ubuntu 15.10, en tapant:

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

donne

profiles:/
schema-version

tandis que

$ gsettings list-relocatable-schemas | grep Terminal

donne

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

La sortie ci-dessus me confond:

Toujours dans Ubuntu 15.10 (en utilisant gnome-terminal version 3.16.2), si je lance:

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

Je reçois:

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

il y a donc une clé default-size-columns qui pourrait (?) correspondre à la clé default_size_columns dans Ubuntu 14.10, mais il n'y a pas de clé use-custom-default-size correspondant à la clé use_custom_default_size dans Ubuntu 14.10. Cela me confond aussi.

Aussi, si j'essaye de courir:

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

et ouvrez un nouveau gnome-terminal le réglage de default-size-columns semble n'avoir aucun effet puisque le terminal s'ouvre toujours avec 80 colonnes.

gnome-terminaldconfgconfgsettings
16
Håkon Hægland

La syntaxe à utiliser avec la commande gsettings est décrite dans Questions fréquemment posées sur les terminaux GNOME .

Vous devez d’abord trouver l’identifiant du profil que vous souhaitez modifier. Par exemple, l'identifiant du profil par défaut gnome-terminal peut être obtenu à partir du schéma org.gnome.Terminal.ProfilesList.

Modifiez ensuite les clés souhaitées du chemin /org/gnome/terminal/legacy/profiles:/:UUID/ du schéma org.gnome.Terminal.Legacy.Profile: pour ce profil.

Notez les deux points dans le chemin ci-dessus. Cela ne fonctionnera pas s'ils sont omis.

Voici un script qui utilise ce qui précède pour définir default-size-columns du profil par défaut:

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
17
Håkon Hægland