Я читал об этой теме здесь и пробовал решение, данное для изменения имени терминала (см. картинка на элементе № 1)
Но ни один из них не может изменить имя терминала (элемент № 1).
user@linux:~$ gnome-terminal --title="SOME TITLE HERE"
user@linux:~$
user@linux:~$ PROMPT_COMMAND='echo -ne "\033]0;SOME TITLE HERE\007"'
user@linux:~$
user@linux:~$ echo -ne "\033]0;SOME TITLE HERE\007"
user@linux:~$
Я знаю, что пункт № 2 можно изменить с помощью PS1
. Но заголовок (пункт № 1) все еще не изменился даже после того, как я изменил PS1
user@linux:~$
, все в порядке. Я не хочу это менять, я просто хочу переименовать заголовок терминала вверху (элемент № 1)
Функция gnome-terminal --title
была удалена с Gnome v3
Если вы хотите сохранить Gnome Terminal и изменить заголовок окна, вам придется играть с PS1, см. Ниже, как это сделать.
title
все еще доступна с этой версией sudo apt-get install mate-terminal
.bashrc
, вызвав ее, чтобы изменить заголовок окна / вкладки nano ~/.bashrc
Добавьте функцию
function set-title() {
if [[ -z "$ORIG" ]]; then
ORIG=$PS1
fi
TITLE="\[\e]2;$*\a\]"
PS1=${ORIG}${TITLE}
}
source ~/.bashrc
для перезагрузки
set-title Some new title
для изменения заголовка окна / вкладки
Ограничение: когда программа меняет PS1, заголовок также может измениться (пример: ssh на другой хост сбросит пользовательский заголовок)