update_terminal_cwd демистифицируйте, пожалуйста?

Я пытаюсь найти документацию о том, что именно printfделает команда в update_terminal_cwd.

Если вы еще не знали, функцияupdate_terminal_cwd определена (по крайней мере, в Mac OS X 10.7.4) в том же файле, и в этот/etc/bashrc же файл функция добавляется так, $PROMPT_COMMANDчто она запускается каждый раз, когда вы нажимаете Enter в Терминале.

Текст update_terminal_cwdсамой функции выглядит следующим образом:

update_terminal_cwd() {
    # Identify the directory using a "file:" scheme URL,
    # including the host name to disambiguate local vs.
    # remote connections. Percent-escape spaces.
local SEARCH=' '
local REPLACE='%20'
local PWD_URL="file://$HOSTNAME${PWD//$SEARCH/$REPLACE}"
printf '\e]7;%s\a' "$PWD_URL"
}

Это несколько шагов вниз по кроличьей норе по сравнению с попыткой установить имена вкладок терминала из командной строки , что можно сделать довольно легко , но имя вкладки сбрасывается при sshвходе в поле.

Это привело меня к тому, как остановить автоматическую смену заголовков iTerm? и довольно неясный список управляющих последовательностей на Mac .

Если вы перейдете по этой последней ссылке и выполните поиск строки osc ps ; pt bel, вы найдете раздел, определяющий escape-символ, который позволяет переименовывать вкладки. Однако, хотя это и объясняет printf '\e]1;%s\a'(обратите внимание на «1»), это не объясняет, что делает «7» в функции, update_terminal_cwdкоторую я цитировал выше.

Где это задокументировано?? (И почему PWD_URLвключает префикс file://?)