Есть ли способ назвать окно терминала или, что еще лучше, дать каждой вкладке имя? На данный момент они просто получают имя базового процесса: например, вкладка, на которой запущен Elasticsearch, получает имя Java.
решение1
Вы можете воспользоваться решением @bubu или щелкнуть правой кнопкой мыши по вкладке, выбрать «Просмотреть вкладку» и задать заголовок оттуда.
решение2
Хорошо.
echo -n -e "\033]0;В советской россии заголовок окна устанавливает вас\007"
установит ваш заголовок на "В Советской России заголовок устанавливает вас"
решение3
Если вы делаете это часто, вы можете сделать ответ @bubu функцией в вашем bash_profile, например так:
tab() {
echo -ne "\033]0;$*\007"
}
А затем просто вызовите его, указав имя вкладки, напримерtab Tab Title with Spaces!