Дайте конкретное имя экземпляру вкладки терминала

Question

Редактировать: в другом ответе говорилось об изменении названия терминала, а не вкладки, но по сути они отвечают и на мой вопрос. Все отлично.

Я новичок и мне интересно, как дать определенное имя экземпляру вкладки терминала?

Вот пример моего вопроса:

На данный момент у меня мало знаний в системе Ubuntu. Спасибо

Answer 1

Я однажды написал функцию для этого.

setTitle() {
    echo -e "\033]0;$@\007" 
}

В качестве альтернативы можно использовать

 "\033]0;$@\a"

Используя это в сочетании с переменной PROMPT_COMMAND ~/.bashrcили переменной PS1, вы можете сделать что-то вроде этого:

PS1="$PS1$(setTitle $(date) )"

Что это делает, так это thatbit добавляет временную метку к заголовку терминала каждый раз, когда вызывается перерисовка propt. Таким образом, каждая из ваших вкладок может иметь временную метку последней выполненной команды.

Оттуда вы можете добавить другие формы команд $()вместо date. Или вызвать его ~/.bashrcодин раз в конце файла, чтобы иметь только неизменяемую подсказку на протяжении сеанса, но уникальную для каждой вкладки.

Смотрите также: Как изменить заголовок текущей вкладки терминала, используя только командную строку