Domanda Trovare e modificare i colori dei terminali di gnome senza gui


Mi piace l'editor di combinazioni di colori per il terminale di gnome e tutto, ma odio non essere in grado di lavorare con valori di colore, sia esso esadecimale o qualche altra forma. Come scopri i valori cromatici del tema del tuo profilo e c'è un file da qualche parte dove puoi modificarli?


2
2017-08-01 22:39


origine




risposte:


Sono memorizzati in gconf .gconf/apps/gnome-terminal/profiles/Default/%gconf.xml come valori esadecimali a 12 cifre (dove Predefinito è il nome del profilo).

Puoi impostarli con gconftool-2, ad es.

gconftool-2 -s -t string /apps/gnome-terminal/profiles/Default/foreground_color #65657b7b8383

c'è anche background_color e palette che prende una lista di 16 valori separati da due punti (non ha idea di cosa corrispondano).


2
2017-08-01 23:18