Come aggiungere temi di colore alle preferenze della GUI di Gnome-Terminal?


9

Uso Gnome-Terminal per gran parte del mio lavoro e mi piace separare le finestre per colore in base all'attività che sto svolgendo, quindi ho impostato diversi profili usando la GUI delle preferenze.

Ho trovato online alcuni temi di colore che mi piacciono e che vorrei utilizzare come base per alcuni dei miei profili, inclusi quelli che creerò in futuro. Tuttavia, la GUI delle preferenze ha solo alcune opzioni per i temi dei colori e avrei bisogno di cambiare tutti i colori manualmente ogni volta che voglio usare 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 per impostare facilmente un tema colore personalizzato per un profilo? So che posso cambiare manualmente i colori in altri posti, come gconf-editor, ma preferirei un modo semplice per dirgli il tema del colore per nome e farlo gestire per il resto (come quello che puoi fare con la GUI) .

Risposte:


5

Le tavolozze dei colori sono tutte codificate in modo rigido, quindi non è possibile aggiungere temi personalizzati al menu Prefs incorporato di gnome-terminal a meno che non si sia disposti a patchare il codice sorgente e ricompilare l'applicazione.

Un modo per impostare temi di colore personalizzati per il tuo profilo è tramite gli script. Dai un'occhiata a come funziona Solarize :

gnome-terminal-colori-solarized

Si noti, però, che gconf è EOL e future versioni di gnome-terminal uso volontà gsettings backend.


Si noti che Solarized ora consiglia di creare un nuovo profilo e impostare lì il tema come tema "personalizzato".
wjandrea,
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.