Gnome: изменить заголовок текущего терминала из командной строки bash
Я знаю, что есть варианты запуска нового терминала с указанным заголовком, и это можно изменить заголовок с терминала, используя меню: "Терминал" -> Установить заголовок.
Тем не менее, я хочу изменить его для текущего терминала из командной строки. Как я могу изменить заголовок для существующего терминала Gnome из командной строки?
4 ответа
Выведите подходящую escape-последовательность xterm.
echo -ne '\033]0;New title\007'
Смотрите также Как изменить заголовок xterm.
Если вам нужно установить имя хоста, на котором вы вошли, вы можете использовать:
echo -ne "\ 033] 0; $ {HOSTNAME} \ 007"
Если вы используете Ubuntu 16.04, вам может потребоваться очистить PS1 и PROMPT_COMMAND, например:
PS1=$
PROMPT_COMMAND=
echo -en "\033]0;New title\a"
Я собрал запись на это по ссылке.
Возможно, стоит попробовать KDE. Он имеет вкладки окон терминала, и каждая вкладка может быть названа, просто щелкнув правой кнопкой мыши на вкладке.