Outils pour utilisateurs

Outils du site


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