Recherche et modification des couleurs des terminaux gnome sans interface graphique
J'aime l'éditeur de schémas de couleurs pour le terminal gnome et tout, mais je déteste ne pas pouvoir travailler avec des valeurs de couleurs, que ce soit en hexadécimal ou sous une autre forme. Comment trouvez-vous les valeurs de couleur du thème de votre profil et existe-t-il un fichier quelque part où vous pouvez les modifier?
Ils sont stockés dans gconf .gconf/apps/gnome-terminal/profiles/Default/%gconf.xml sous forme de valeurs hexadécimales à 12 chiffres (où Default est le nom du profil).
Vous pouvez les définir avec gconftool-2, par exemple.
gconftool-2 -s -t string /apps/gnome-terminal/profiles/Default/foreground_color #65657b7b8383
il y a aussi background_color et palette qui prend une liste de 16 valeurs séparées par deux-points (je ne sais pas à quoi elles correspondent cependant).