Après la mise à niveau du formulaire Ubuntu 14.10 vers 15.10, il semble que la modification des gnome-terminal
préférences à l'aide gconftool-2
ne soit plus prise en charge. Je suppose que ce problème est lié à la migration de Gconf vers GSettings .
Maintenant, je voudrais changer certains de mes anciens scripts (car ils sont cassés dans Ubuntu 15.10) pour fonctionner avec dconf
/ gesettings
au lieu de gconftool-2
.
Par exemple, sur Ubuntu 14.10 ( gnome-terminal
version 3.6.2), je pouvais définir le nombre de colonnes dans le Default
profil en utilisant:
$ 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:
- Pourquoi existe-t-il un
/org/gnome/terminal/legacy/profiles:/
chemin pourdconf
mais pasorg.gnome.Terminal.Legacy.Profiles
(notez l's
ID de schéma de fin ) pourgsettings
? Voir aussi dconf-editor et gsettings ne devraient-ils pas accéder à la même base de données? pour plus d'informations.
Toujours dans Ubuntu 15.10 (en utilisant la 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 default-size-columns
clé qui pourrait (?) correspondre à la default_size_columns
clé dans Ubuntu 14.10, mais il n'y a pas de use-custom-default-size
clé correspondant à la use_custom_default_size
clé dans Ubuntu 14.10. Cela m'embrouille aussi.
De plus, si j'essaie de courir:
$ gsettings set org.gnome.Terminal.Legacy.Profile:/ default-size-columns 150
et en ouvrir un nouveau dont gnome-terminal
le paramètre default-size-columns
semble n'avoir aucun effet puisque le terminal s'ouvre toujours avec 80 colonnes.
la source
Réponses:
La syntaxe à utiliser avec la
gsettings
commande est décrite dans la foire aux questions du terminal GNOME .Vous devez d'abord trouver l'identifiant du profil que vous souhaitez modifier. Par exemple, l'identifiant du
gnome-terminal
profil par défaut peut être obtenu à partir du schémaorg.gnome.Terminal.ProfilesList
.Modifiez ensuite les clés de chemin
/org/gnome/terminal/legacy/profiles:/:UUID/
de schéma souhaitéesorg.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
le profil par défaut:la source
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:0/ default-size-columns 150
gsettings set org.gnome.Terminal.Legacy.Profile:/:0/ default-size-columns 150