Modifiez le profil Gnome-Terminal à partir de la ligne de commande le 18.04.
J'essaie de modifier les profils Gnome-Terminal à partir de la ligne de commande à l'aide de gsettings. Pour pouvoir utiliser gsettings, je dois connaître les clés et les valeurs contenues dans chaque profil. Mon problème est que dconf-editor ne les affiche pas. Je peux utiliser dconf-editor pour tout voir jusqu'à /org/gnome/terminal/legacy/profiles/default. Cela affiche l'UUID du profil, mais aucune des paires clé/valeur du profil. Comment puis-je accéder à ces informations pour pouvoir modifier un profil à l'aide de gsettings?
En fait, dconf-editor affiche les clés et les valeurs de chaque profil dans les sous-répertoires de /org/gnome/terminal/legacy/profiles:/. Leurs noms sont UUID, avec un préfixe du côlon. Mais le profil par défaut ne s'affiche que s'il a été modifié.
Si vous souhaitez toujours utiliser la ligne de commande, dconf semble être un meilleur choix car, autant que je sache, gsettings n'a pas accès aux paramètres de profil individuels, seuls les paramètres par défaut de nouveaux profils (pas les paramètres du profil par défaut). Cependant, dconf ne semble pas avoir accès aux paramètres par défaut.
dconf
Obtenir des profils:
dconf list /org/gnome/terminal/legacy/profiles:/
Obtenez les profils avec leurs noms (de réponse de Sergiy ici ):
dconf dump /org/gnome/terminal/legacy/profiles:/ | awk '/\[:/||/visible-name=/'
Liste tous les paramètres:
dconf dump /org/gnome/terminal/legacy/profiles:/
gsettings
Obtenir des profils:
gsettings get org.gnome.Terminal.Legacy.ProfileList list
Obtenir le profil par défaut:
gsettings get org.gnome.Terminal.Legacy.ProfileList default
Obtenir les paramètres (je pense que ce sont les paramètres par défaut pour les nouveaux profils):
gsettings list-recursively org.gnome.Terminal.Legacy.Profile:/