Невозможно переименовать окно терминала 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.