linux:dconf
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 dconf list /org/gnome/terminal/legacy/profiles:/:$profil/ # pour lire une clé dconf read /org/gnome/terminal/legacy/profiles:/:$profil/laCle # 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 : 22/03/2018 12:53 de daniel