Używam Gnome-Terminal do wielu prac i lubię rozdzielać okna według kolorów na podstawie zadania, które „wykonuję”, więc już skonfigurowaliśmy kilka profili za pomocą GUI Preferencji.
Znalazłem w Internecie kilka motywów kolorystycznych, które mi się podobają i które chciałbym wykorzystać jako podstawę dla niektórych moich profili, w tym tych, które utworzę w przyszłości. Jednak GUI Preferencji ma tylko kilka opcji motywów kolorystycznych i musiałbym ręcznie zmienić wszystkie kolory za każdym razem, gdy chcę użyć jednego z tych niestandardowych motywów.
Czy istnieje sposób dodawania niestandardowych motywów do interfejsu GUI Preferencji? Jeśli to nie jest możliwe, czy jest inny sposób na łatwe ustawienie niestandardowego motywu kolorystycznego dla profilu? Wiem, że mogę ręcznie zmienić kolory w innych miejscach, na przykład w edytorze gconf, ale wolałbym prostszy sposób podaj nazwę motywu kolorystycznego i niech obsłuży resztę (na przykład to, co możesz zrobić z GUI).
Odpowiedź
Wszystkie palety kolorów są zakodowane na stałe, więc dodawanie niestandardowych motywów do wbudowanego menu Prefs w gnome-terminalu nie jest możliwe, chyba że chcesz załatać kod źródłowy i ponownie skompilować aplikację.
Jeden sposób ustawienia niestandardowe motywy kolorystyczne dla Twojego profilu są dostępne za pośrednictwem skryptów. Zobacz, jak solaryzuje się :
gnome-terminal-colors- solarized
Należy jednak pamiętać, że gconf to EOL i przyszłe wydania gnome-terminal będą używać zaplecza gsettings .
Komentarze
- Pamiętaj, że Solarized zaleca teraz utworzenie nowego profilu i ustawienie motywu jako " niestandardowy " motyw.