☰

Как переименовать заголовок вкладки терминала в gnome-terminal?

tag-icon • tag-icon gnome-terminal
Как переименовать заголовок вкладки терминала в gnome-terminal?

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

EDIT: Я перешел с gnome-terminal на ROXterm

решение1

Создайте функцию в ~/.bashrc:

function set-title() {
  if [[ -z "$ORIG" ]]; then
    ORIG=$PS1
  fi
  TITLE="\[\e]2;$*\a\]"
  PS1=${ORIG}${TITLE}
}

Затем используйте новую команду, чтобы задать название терминала. Это работает и с пробелами в имени.

set-title my new tab title

Впоследствии его можно будет использовать set-titleснова (исходный PS1 сохраняется как ORIG).

решение2

Код user titleбыл удален 1 из gnome-terminal 3.14. Чтобы задать заголовок, можно использовать escape-последовательность:

printf "\e]2;YOUR TITLE GOES HERE\a"

или например с bash:

echo -ne "\033]0;YOUR TITLE GOES HERE\007"

Аргументы -ne, запрещающие echoдобавлять символ новой строки и интерпретировать Escape-последовательности (например, \033).

1: см. гномаошибка 724110и гномошибка 740188.

решение3

Новые версии gnome-terminal просто выкинули большинство полезных профессиональных функций. :-(

Я попытался установить и запустить старую версию gnome-terminal, а также сравнил альтернативы.

Если terminatorдля вас это слишком экзотично, то это mate-terminalотличный вариант! Это ответвление gnome-terminal, которое просто сохраняет все хорошие функции:

  • Вы можете открыть несколько вкладок из командной строки, дав им разные заголовки.

    mate-terminal --tab -t "aaa" --tab -t "bbb" --tab -t "ccc"

  • вы можете настроить сочетание клавиш (я использую Ctrl+Shift-я) установить наятле

решение4

Если вы используете Ubuntu 16.04, вам может потребоваться:

PS1=$
PROMPT_COMMAND=
echo -en "\033]0;New title\a"

Я перечисляю это и более подробную информацию об этом здесьсвязь.

Связанный контент