Как добавить цветовые темы в настройки графического интерфейса Gnome-Terminal?


9

Я использую Gnome-Terminal для большей части своей работы, и мне нравится разделять окна по цветам в зависимости от выполняемой задачи, поэтому я настроил несколько профилей с помощью графического интерфейса настроек.

В Интернете я нашел несколько цветовых тем, которые мне нравятся, и которые я хотел бы использовать в качестве основы для некоторых своих профилей, включая те, которые я создаю в будущем. Однако в графическом интерфейсе Preferences есть только несколько вариантов цветовой темы, и мне нужно будет менять все цвета вручную каждый раз, когда я захочу использовать одну из этих пользовательских тем.

Можно ли как-нибудь добавить пользовательские темы в свой графический интерфейс Preferences? Если это невозможно, есть ли другой способ, которым я могу легко установить собственную цветовую тему для профиля? Я знаю, что я могу вручную изменить цвета в других местах, например, в gconf-editor, но я бы предпочел простой способ сказать ему цветовую тему по имени и сделать так, чтобы он обрабатывал все остальное (например, что вы можете сделать с помощью графического интерфейса) ,

Ответы:


5

Все цветовые палитры жестко запрограммированы, поэтому добавление пользовательских тем во встроенное меню настроек Prefs терминала gnome невозможно, если вы не захотите исправить исходный код и перекомпилировать приложение.

Один из способов настройки пользовательских цветовых тем для вашего профиля - с помощью скриптов. Посмотрите, как соляризация делает это:

гном-терминал-цветы-соляризации

Обратите внимание, что gconf - это EOL, и в будущих выпусках gnome-Terminal будет использоваться gsettings backend.


Обратите внимание, что теперь Solarized рекомендует вам создать новый профиль и настроить тему в качестве «пользовательской» темы.
wjandrea
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.