Как установить заголовок в Терминале

В предыдущих версиях Ubuntu, как и 14.04, можно было установить заголовок каждой вкладки терминала через меню: Терминал -> Установить заголовок...

В 18.04 по-прежнему есть терминал ввода с такими опциями, как Set Character Encoding, но Set Title отсутствует.

Так как я могу установить заголовок в новых версиях?

Источник

3 ответа

Решение

Эта функция удалена, так как гном 3
Но терминал gnome 2 разветвлен как mate-терминал, у него есть функция, которую вы хотите.

sudo apt-get install mate-terminal

Если вы хотите сохранить терминал gnome 3 и согласиться переименовывать вкладки из командной строки, вы можете попробовать это:

1- Добавьте функцию 'set-title' в.bashrc.
2- Переименуйте заголовок терминала с помощью set-title The New Title Name

nano ~/.bashrc

##Add the following to the .bashrc file
function set-title() {
  if [[ -z "$ORIG" ]]; then
    ORIG=$PS1
  fi
  TITLE="\[\e]2;$*\a\]"
  PS1=${ORIG}${TITLE}
}

Использование: set-title My Tab Title

Источник

В Убунту 20.04

      PS1=$PS1"\[\e]0;New_Terminal_Name\a\]"

\[начать последовательность непечатаемых символов

\e]0;последовательность символов для установки заголовка терминала. Bash идентифицирует эту последовательность и устанавливает плитку со следующими символами. Число 0 оказывается значением для ссылки на свойство title.

New_Terminal_Nameэто плитка, которую мы дали

\aявляется символом колокольчика ASCII, также в этом случае он отмечает конец плитки для чтения из Bash.

\]закончить последовательность непечатаемых символов

Источник

Я использую xttitle (в xttitle упаковка):

update_title()
{
    [[ $TERM = xterm ]] || [[ $TERM = xterm-color ]]  && xttitle "[$$] ${USER}@${HOSTNAME}:$PWD"
}

cd()
{
    [[ -z "$*" ]] && builtin cd $HOME
    [[ -n "$*" ]] && builtin cd "$*"
    update_title
}
Источник
Другие вопросы по тегам