Переключите профиль терминала GNOME из командной строки

Question

Если я использую gnome-терминал с несколькими открытыми вкладками, возможно ли переключить профиль данной вкладки в командной строке bash, с мгновенным эффектом и без изменения профиля других вкладок?

Я понимаю, как использовать gconftool или gconftool-2 для изменения элементов профиля (например, фона), но я не знаю, как на самом деле переключать профиль для конкретной вкладки или окна.

Любой совет приветствуется.

Answer 1

Это, в частности, не ваш вопрос, но, поскольку это может помочь другим, я оставляю это здесь независимо.

Если бы был способ изменить текущий профиль, вы могли бы иметь разные профили для каждой вкладки.

Вы можете перечислить все существующие профили, используя:

gconftool-2 --all-dirs /apps/gnome-terminal/profiles

Вы можете получить текущий профиль, используя:

gconftool-2 --get /apps/gnome-terminal/global/default_profile

И вы можете установить новый профиль по умолчанию (solarized-light в этом случае), используя:

gconftool-2 --set --type string /apps/gnome-terminal/global/default_profile solarized-light

Answer 2

Я работаю над чем-то похожим, думаю, это может вам помочь использовать gnome-terminal --help который покажет вам некоторые команды, которые вы можете использовать, чтобы открыть терминал с определенными профилями вам нужно будет выяснить, как написать строку в приглашении, чтобы открыть вкладки и профили, которые вы хотите .... как только вы выяснили сложную часть, вы можете добавить строку в свой Bashrc

Запустите nano ~/.bashrc, чтобы открыть файл конфигурации bash, который запускается при каждом открытии терминала. Затем добавьте строку в нижнюю строку сохранения и закройте.

Answer 3

Я думаю, что вы можете сделать это через gconf-editor, который поддерживает настройки всего в gnome. См. Руководство gconf и раздел gnome-терминал .

Из терминала вы можете вносить изменения с помощью gconftool-2