Gnome: изменить заголовок текущего терминала из командной строки bash

9

Я знаю, что есть варианты запуска нового терминала с указанным заголовком, и это можно изменить заголовок с терминала, используя меню: «Терминал» -> Установить заголовок.

Тем не менее, я хочу изменить его для текущего терминала из командной строки. Как я могу изменить заголовок для существующего терминала Gnome из командной строки?

bash gnome ubuntu-11.04 gnome-terminal шлифовальный
источник

Ответы:

13

Выведите подходящую escape-последовательность xterm.

echo -ne '\033]0;New title\007'

Смотрите также Как изменить заголовок xterm .

tripleee
источник
Отлично, вот и все! : D Также спасибо за очень интересную ссылку.
Сандер
Хорошо, но совместимо ли это с кроссплатформенностью?
10
1
@tripleee: Обычно рекомендуется использовать tputкоманды для печати таких escape-последовательностей, как указано в этом точном дубликате .
мая
1
@triplee Спасибо за вклад! Однако я не считаю этот вопрос точной копией того, который вы упомянули. Контекст другого вопроса очень отличается.
Сандер
2
Это больше не похоже на работу
kapad
0

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

Скотт К Уилсон
источник
Спасибо за ваше предложение, однако, я все еще люблю Gnome :)
Sander
0

Если вам нужно установить имя хоста, на котором вы вошли, вы можете использовать:

echo -ne "\ 033] 0; $ {HOSTNAME} \ 007"
Бенджамин Гудэйкр
источник
0

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

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

Я собрал запись на это по ссылке .

Зак Пфеффер
источник