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

Система -> Администрирование -> Источники программного обеспечения -> Обновления (вкладка) -> Проверить наличие обновлений: [Ежедневно | Каждые два дня | Еженедельно | Каждые две недели]

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

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

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