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

9

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

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

— шлифовальный
источник

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"

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

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