Как изменить имя терминала в Ubuntu

enter image description here

Я читал об этой теме здесь и пробовал решение, данное для изменения имени терминала (см. картинка на элементе № 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)

3
задан 23 June 2019 в 06:40

1 ответ

Функция gnome-terminal --title была удалена с Gnome v3
Если вы хотите сохранить Gnome Terminal и изменить заголовок окна, вам придется играть с PS1, см. Ниже, как это сделать.


Терминал Gnome 2 разветвлен как терминал сопряжений, связанный в Ubuntu Mate. Опция title все еще доступна с этой версией
sudo apt-get install mate-terminal
enter image description here


В Gnome Terminal способ установки заголовка окна будет заключаться в игре с PS1
. Вы можете добавить функцию в свой файл .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 для изменения заголовка окна / вкладки

enter image description here

Ограничение: когда программа меняет PS1, заголовок также может измениться (пример: ssh на другой хост сбросит пользовательский заголовок)

2
ответ дан 23 June 2019 в 06:40

Другие вопросы по тегам:

Похожие вопросы: