dconf

Utilitaire pour manipuler la conf utilisateur, utile pour accéder à des paramètres de conf qui ne sont pas accessibles depuis les fenêtres de préférences.

gnome-terminal

Par ex avec gnome-terminal sous cinnamon dans stretch, y'a plus l'option "Select-by-word chatacters" (cf ce post, pour la modifier, faut repérer l'id de son profil dans Édition/Préférence du profil, et ensuite

profil=xxx
# pour voir la liste des clés d’un dossier
dconf list /org/gnome/terminal/legacy/profiles:/:$profil/
# pour lire une clé
dconf read /org/gnome/terminal/legacy/profiles:/list
# pour écrire
dconf write /org/gnome/terminal/legacy/profiles:/:$profil/word-char-exceptions '@ms "-.?%&#_+@~·:$/"'
 
# on peut aussi modifier ça en éditant un dump à la main
dconf dump /org/gnome/terminal/legacy/profiles:/ > avirer
joe avirer
# puis le recharger
dconf load /org/gnome/terminal/legacy/profiles:/ < avirer
rm avirer
 
linux/dconf.txt · Dernière modification: 09/08/2017 11:23 par daniel