Командная строка для переключения между профилями в gnome-terminal

Нет ярлыка, позволяющего изменять профиль в терминале (без навигации по меню, как вы сказали в комментариях), без использования графического интерфейса. Цитирование руководства (стабильный, разработка 3.9):

(Вы можете предложить это как предложение в трекере ошибок)

Я пытался сделать то же самое и, наконец, получил скрипт, я положил его на свой GitHub.

Как я объясню в README.md, он фактически не переключается, но загружает конфигурации профилей в профиль по умолчанию. Для этого конфигурация каждого профиля сохраняется в файле при первом запуске скрипта. Сценарий показывает, что вы переключаетесь между профилями, что достаточно для меня. Надеюсь, это поможет любому ...

В зависимости от вашей цели вы можете найти этот скрипт полезным: https://github.com/xyrix/gnome-terminal-profile-switcher

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

Надеюсь, пример сценария safe_ssh прояснит :-). Я использую его уже более года, и это помогло мне не уничтожить живую базу данных компании ^ _ ^

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

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

ssh alice@athena

Наконец, напишите короткий скрипт, чтобы запустить новое удаленное окно идентификатор профиля.

#!/bin/bash
if [[ $# -ne 1 ]] ; then
  echo "Give me a server/profile name!"
  exit 1
fi
gnome-terminal --window-with-profile=$1
exit 0

Используя эту стратегию, вы можете «бесконечно» изменять внешний вид окна терминала каждого окна и отталкивать их от одного «контрольного» терминала. Например, если мы назовем этот скрипт «rlv», тогда мы можем вызвать удаленное окно, просто вызывая скрипт с именем профиля.

>> rlv athena

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

#!/bin/bash
if [[ $# -ne 1 ]] ; then
  echo "Give me a server/profile name!"
  exit 1
fi
gnome-terminal --window-with-profile=$1 -e "ssh $1"
exit 0

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

Я только что заметил, что мое исходное решение уже отклонено в вопросе. Хотя нет простого способа изменить профиль, вы можете изменить цвет фона / переднего плана с помощью команды setterm.

Итак, этот setterm -term linux -background black -foreground green даст вам черный фон с зеленым текстом. Единственная проблема заключается в том, что ls имеет цветной вывод, поэтому вы можете захотеть отменить расцветку. В противном случае он сбрасывается до предыдущей цветовой схемы

Исходный пост: есть какой-то путь. Из man gnome-terminal:

             Open a new window containing a  tab  with  the
             given profile.  More than one of these options
             can be provided.

Вот пример с моей машины. У меня три профиля: B & amp; G (черный на зеленом), ForPrinting (черный шрифт, белый фон) и по умолчанию. Так что я делаю в текущем типе окна gnome-terminal --window-with-profile=ForPrinting. Затем я могу либо убить старое окно из командной строки или переключателя и закрыть его графически.

Профиль B & amp; G не работает. Вероятно, потому что & amp; не является допустимым символом, поэтому имейте это в виду при именовании профилей.

Самое уродливое решение, которое я использовал, -

unset x y
eval $(xwininfo -id $(xdotool getactivewindow) |
       sed -n -e 's/^ \+Absolute upper-left X: \+\([0-9]\+\).*/x=\1/p' \
              -e 's/^ \+Absolute upper-left Y: \+\([0-9]\+\).*/y=\1/p')
xdotool mousemove $(($x + 50)) $(($y + 50))
xdotool click 3; xdotool key --repeat 3 Up; xdotool key Right; xdotool key --delay 50 Down; xdotool key --delay 50 Return

(Это выбирает второй профиль, но вы можете изменить это, чтобы сказать профиль htir, изменив вторую команду «Вниз» to xdotool key --delay 50 --repeat 2 Down.

Что это делает:

Вам понадобится xdotool, установленный sudo apt install xdotool.

Вид экстраординарного, что сам терминал не делает " t разрешить настройку через терминал!

Было бы здорово, если бы гном-терминал предложил команду «следующий профиль» и ярлык; к сожалению, это не так.

Обходной путь для тех, у кого Alt+T отключен («Правка»> «Установки»> «Включить мнемонику» - не отмечен): F10 left left down right и выберите профиль. Уч.