Не удалось переименовать окно терминала gnome после обновления до Ubuntu 15.04

Я не могу переименовать окно терминала после обновления до Ubuntu 15.04. При щелчке правой кнопкой мыши есть три варианта -

  • Переместить терминал влево
  • Переместить терминал вправо
  • Закрыть терминал

И нет опции «Установить заголовок», которая присутствовала в предыдущих версиях Ubuntu.

Моя версия gnome-терминала 3.14.2.


gnome-terminal ubuntu-15.04
person Unaiz Arakkal    schedule 17.06.2015    source источник
comment
Я хочу знать, почему этот вопрос был отклонен, поскольку это беспокоило меня, когда я обновлялся с Ubuntu 14 до Ubuntu 15.   -  person Unaiz Arakkal    schedule 14.09.2015

Ответы (3)


arrow_upward
5
arrow_downward

Если кто-то все еще ищет, решение .bashrc, предложенное Кирби, сработало для я тоже

set-title(){
  ORIG=$PS1
  TITLE="\e]2;$@\a"
  PS1=${ORIG}${TITLE}
}

затем из триминала: $ set-title your-title

person abdul    schedule 27.03.2017

arrow_upward
2
arrow_downward

Здесь есть ответ: https://askubuntu.com/questions/616404/ubuntu-15-04-fresh-install-cant-rename-gnome-terminal-tabs

Подводя итог: опция была удалена: / Есть несколько обходных путей разной степени неуклюжести.

person lavaturtle    schedule 23.06.2015

arrow_upward
0
arrow_downward

У меня была та же проблема, и я обнаружил, что нет простого способа установить заголовок вкладки, щелкнув правой кнопкой мыши (как я и большинство моих коллег привыкли). В то же время это так раздражало :(. Так что в нашем случае решение состояло в том, чтобы переключить терминал. Поэтому я искал много альтернатив, таких как сакура и т. Д., И, наконец, остановился на xfce-терминале. Вы можете использовать приведенную ниже команду для установки Это:

sudo apt-get install xfce4-terminal

Он предоставляет возможность установить заголовок вкладки, щелкнув правой кнопкой мыши, предоставляет функцию профиля и имеет все другие функции, аналогичные терминалу Gnome.

person Tabrez Shaikh    schedule 10.04.2020