Изменение профиля терминала или терминатора через привязку клавиш или команду echo [duplicate]

Я создал новый профиль для gnome-terminal и могу переключаться между профилем "Implicit" и новым созданным профилем, как показано на рисунке ниже:

Switch between profiles in gnome-terminal

Теперь мне интересно, как я могу переключаться между профилями с помощью командной строки/скрипта или, может быть, используя ярлык для этого.

Примечание: Решения типа:

gnome-terminal --tab-with-profile=Implicit && exit 

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

27
задан 12 June 2020 в 17:37

0 ответов

Другие вопросы по тегам:

Похожие вопросы: