Jeg bruker Gnome-Terminal for mye av arbeidet mitt, og liker å skille vinduene mine etter farge basert på oppgaven jeg gjør, så jeg » har satt opp flere profiler ved hjelp av GUI-innstillingen.
Jeg fant noen fargetemaer på nettet som jeg liker og vil bruke som base for noen av profilene mine, inkludert de som jeg lager i fremtiden. Imidlertid har Preferences GUI bare noen få fargetemaalternativer, og jeg vil måtte endre alle fargene manuelt når som helst jeg vil bruke et av disse egendefinerte temaene.
Er det en måte jeg kan legge til egendefinerte temaer i GUI-en for Innstillinger? Hvis det ikke er mulig, er det en annen måte jeg enkelt kan angi et tilpasset fargetema for en profil på? Jeg vet at jeg kan endre fargene manuelt andre steder, som gconf-editor, men jeg foretrekker en enkel måte å bare fortell det fargetemaet ved navn og la det håndtere resten (som hva du kan gjøre med GUI).
Svar
Fargepalettene er alle hardkodede, så det er ikke mulig å legge til tilpassede temaer til gnome-terminalens innebygde Prefs-meny med mindre du er villig til å lappe kildekoden og kompilere applikasjonen på nytt.
En måte å sette inn et tilpasset fargetema for profilen din er via skript. Ta en titt på hvordan solarize gjør det:
gnome-terminal-farger- solskilt
Merk imidlertid at gconf er EOL og fremtidige utgivelser av gnome-terminal vil bruke gsettings backend .
Kommentarer
- Merk at Solarized nå anbefaler deg å opprette en ny profil og sette opp temaet som " tilpasset " tema der.