Ho usato (Red Hat, Ubuntu, CentOS, altri). Queste distribuzioni utilizzano Gnome-terminal e forniscono modi flessibili per impostare diversi profili di terminale tramite un menu a discesa situato nella finestra del terminale, direttamente sopra dove di solito vengono immessi i comandi. Questi profili consentono di apportare modifiche alle proprietà del carattere e del colore di file diversi ecc.
Dove sono memorizzati questi diversi profili per il terminale?
Risposte:
Bene, hai appena citato tre distribuzioni che utilizzano almeno due Gnomeversioni diverse . Questo è importante perché il passaggio da Gnome 2a Gnome 3cui spostato da GTK 2a GTK 3e le cose un po 'contrastanti.
Per arrivare al suo argomento, in generale, tutta la configurazione per il tuo utente è $HOMEda qualche parte. Per prima cosa devi cercare in $HOMEsé e poi provare .confige .gconfcome entrambi suggeriscono una directory di configurazione.
Detto questo e con una semplice ricerca su Google ho scoperto che potrebbe esserci ~/.gconf/apps/gnome-terminal/profilesma la tua distanza potrebbe variare.
GTKla versione influiràgtk-2.0e lagtk-3.0configurazione della directory comunque. Stavo parlando in generale e non solo gnome-terminal.