имя терминала / вкладки

13

Есть ли способ назвать окно терминала или даже лучше дать каждой вкладке имя. в данный момент они просто получают имя базового процесса: например, вкладка, работающая сasticsearch, получает имя java

locojay
источник
superuser.com/q/343747/504387
Подстановочный

Ответы:

11

Вы можете использовать решение @bubu или щелкнуть правой кнопкой мыши на вкладке, выбрать «Проверить вкладку» и установить название оттуда.

Wuffers
источник
5
Или нажмите, Cmd-Iчтобы получить инспектора.
Даниэль Бек
2
Shift-Command-I (Shell> Edit Title) также показывает Инспектора и гарантирует, что он выберет панель информации.
Крис Пейдж
1
Начиная с Mac OS X Lion 10.7, Terminal Inspector также поддерживает настройку заголовка вкладки отдельно от заголовка окна.
Крис Пейдж
14

Что ж.

echo -n -e "\ 033] 0; В советской России строка заголовка устанавливает вас \ 007"

установит заголовок "В советской России строка заголовка устанавливает вас"

бубу
источник
3
Или, что короче, вы можете использовать echo -neвместо echo -n -e.
Вуфферс
1
Сдается мне, что шутки о советской России не очень хорошо приняты здесь
бубу
5
Обратите внимание, что «0» устанавливает как окно, так и заголовок вкладки. Начиная с Mac OS X Lion 10.7, вы можете устанавливать их независимо, используя «1» (заголовок вкладки) и «2» (заголовок окна).
Крис Пейдж
3
Я рекомендую использовать printf вместо echo, потому что он проще и более переносим (опция «-n» не определена в POSIX):printf '\e]0;...\a'
Chris Page
2
Если вам интересно, как это работает, он использует escape-последовательность XTerm (также известную как управляющая последовательность). Полный список последовательностей доступен здесь .
TachyonVortex
2

Если вы делаете это часто, вы можете сделать ответ @ bubu функцией в вашем bash_profile, например, так:

tab() {
    echo -ne "\033]0;$*\007"   
}

А затем просто позвоните, а затем название вкладки, например, tab Tab Title with Spaces!

Стюарт Дуглас
источник