Folosesc Gnome-Terminal pentru o mare parte din munca mea și îmi place să-mi separ ferestrele după culoare pe baza sarcinii pe care o „fac, așa că eu” Am configurat mai multe profiluri folosind GUI Preferences.
Am găsit online câteva teme de culoare care îmi plac și aș dori să le folosesc ca bază pentru unele dintre profilurile mele, inclusiv pentru orice pe care le creez în viitor. Cu toate acestea, interfața grafică Preferences are doar câteva opțiuni de temă de culoare și ar trebui să schimb manual toate culorile oricând doresc să folosesc una dintre aceste teme personalizate.
Există o modalitate prin care pot adăuga teme personalizate în interfața grafică Preferințe? Dacă acest lucru nu este posibil, există un alt mod în care pot seta cu ușurință o temă de culoare personalizată pentru un profil? Știu că pot schimba manual culorile în alte locuri, cum ar fi gconf-editor, dar aș prefera un mod ușor de a doar spuneți-i tema culorilor după nume și puneți-o să se ocupe de restul (cum ar fi ceea ce puteți face cu interfața grafică).
Răspundeți
Paletele de culori sunt toate codificate, astfel încât adăugarea de teme personalizate la meniul Pref încorporat gnome-terminal nu este posibilă, cu excepția cazului în care sunteți dispus să remediați codul sursă și să recompilați aplicația. o temă de culoare personalizată pentru profilul dvs. este prin scripturi. Aruncați o privire la modul în care o face solarize :
gnome-terminal-colors- solarizat
Rețineți, totuși, că gconf este EOL și că viitoarele versiuni de gnome-terminal vor folosi backend gsettings .
Comentarii
- Rețineți că Solarized vă recomandă acum să creați un profil nou și să configurați tema ca " temă personalizată " acolo.