На работе я обычно захожу на один конкретный хост linux, назовем его jumphost, используя Putty с моей рабочей станции Windows, затем обращаюсь к другим серверам (у нас их более тысячи) с этого сервера с помощью ssh.
Строка заголовка в Putty по умолчанию показывает user @ host, и я часто получаю дюжину окон Putty для разных серверов, но у всех одинаковый заголовок, поэтому становится трудно найти нужный, особенно из строки задач. внизу рабочего стола.
Я вижу, что можно установить заголовок динамически, например, добавив следующее в ~/.bashrc:
export PROMPT_COMMAND='printf "\033]0;${USER}@$(hostname)\007"'
но это не помогает мне, так как я часто захожу на новые серверы.
Есть ли другие решения? Что-то, что я могу настроить в Putty, или что-то, что я могу сделать на Jumphost?