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

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

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

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

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

2 ответа

В случае, если кто-то все еще ищет, The .bashrc решение, предложенное Кирби, сработало и для меня

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

тогда из trminal: $ set-title your-title

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

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

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

sudo apt-get install xfce4-terminal

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

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