Ik gebruik Gnome-Terminal voor veel van mijn werk, en ik vind het leuk om mijn vensters op kleur te scheiden op basis van de taak die ik “doe, dus ik” We hebben verschillende profielen ingesteld met behulp van de Voorkeuren GUI.
Ik heb online een aantal kleurenthemas gevonden die ik leuk vind en die ik graag zou willen gebruiken als basis voor een aantal van mijn profielen, inclusief alle die ik in de toekomst maak. De GUI van Voorkeuren heeft echter maar een paar kleurthema-opties en ik zou alle kleuren handmatig moeten wijzigen wanneer ik een van deze aangepaste themas wil gebruiken.
Is er een manier om aangepaste themas toe te voegen aan mijn voorkeuren-GUI? Als dat niet mogelijk is, is er dan een andere manier waarop ik gemakkelijk een aangepast kleurenthema voor een profiel kan instellen? Ik weet dat ik de kleuren handmatig kan wijzigen op andere plaatsen, zoals gconf-editor, maar ik zou liever een gemakkelijke manier hebben om alleen vertel het het kleurenthema bij naam en laat het de rest afhandelen (zoals wat u kunt doen met de GUI).
Antwoord
De kleurenpaletten zijn allemaal hard-gecodeerd, dus het is niet mogelijk om aangepaste themas toe te voegen aan het ingebouwde voorkeurenmenu van gnome-terminal, tenzij je bereid bent om de broncode te patchen en de applicatie opnieuw te compileren.
Een manier om in te stellen een aangepaste kleurthemas voor uw profiel is via scripts. Bekijk hoe solarize het doet:
gnome-terminal-colours- solarized
Merk echter op dat gconf EOL is en toekomstige releases van gnome-terminal zullen gsettings backend gebruiken .
Reacties
- Merk op dat Solarized nu aanbeveelt om een nieuw profiel te maken en het thema in te stellen als " aangepast " thema daar.