Дайте конкретное имя экземпляру вкладки терминала [дубликат]
На этот вопрос уже есть ответ здесь:
Редактировать : другой ответ говорил об изменении названия терминала, а не вкладки, но они фактически отвечают и на мой вопрос. Все отлично.
Я новичок, и мне интересно, как дать конкретное имя экземпляру вкладки терминала?
Вот пример моего вопроса:
В настоящее время у меня мало знаний о системе Ubuntu. Спасибо
1 ответ
Я записал функцию для этого однажды.
setTitle() {
echo -e "\033]0;$@\007"
}
С другой стороны, можно было использовать
"\033]0;$@\a"
Используя это в сочетании с переменной PROMPT_COMMAND в ~/.bashrc или переменная PS1, можно сделать что-то вроде этого:
PS1="$PS1$(setTitle $(date) )"
То, что это делает, является thatbit, добавляет метка времени к заголовку терминала каждый раз Вы, перерисовку propt называют. Таким образом, каждая из Ваших вкладок может иметь, устанавливают метку времени, последняя команда выполнялась.
Оттуда, можно включить другие формы команд $() вместо date. Или имейте его быть названными от ~/.bashrc однажды в конце файла, чтобы только не иметь изменяющейся подсказки через сессию, но уникальный для каждой вкладки.
См. также: Как изменить заголовок текущей терминальной вкладки с помощью только командную строку