Uso Gnome-Terminal per gran parte del mio lavoro e mi piace separare le finestre in base al colore in base allattività che “sto facendo, quindi io” abbiamo impostato diversi profili utilizzando la GUI delle preferenze.
Ho trovato online alcuni temi di colore che mi piacciono e vorrei utilizzare come base per alcuni dei miei profili, compresi quelli che creerò in futuro. Tuttavia, la GUI delle preferenze ha solo alcune opzioni per i temi dei colori e dovrei cambiare tutti i colori manualmente ogni volta che voglio utilizzare uno di questi temi personalizzati.
Esiste un modo per aggiungere temi personalizzati alla mia GUI delle preferenze? Se ciò non è possibile, esiste un altro modo in cui posso impostare facilmente un tema colore personalizzato per un profilo? So di poter modificare manualmente i colori in altri posti, come gconf-editor, ma preferirei un modo semplice per ditegli il tema del colore per nome e fatelo gestire al resto (come quello che potete fare con la GUI).
Risposta
Le tavolozze dei colori sono tutte hard-coded, quindi laggiunta di temi personalizzati al menu Prefs integrato di gnome-terminal non è possibile a meno che non si desideri applicare una patch al codice sorgente e ricompilare lapplicazione.
Un modo di impostazione un tema colore personalizzato per il tuo profilo è tramite script. Dai unocchiata a come funziona solarize :
gnome-terminal-colors- solarizzato
Nota, tuttavia, che gconf è EOL e le versioni future di gnome-terminal utilizzeranno il backend gsettings .
Commenti
- Tieni presente che Solarized ora consiglia di creare un nuovo profilo e impostare il tema come " personalizzato " tema lì.