Я не совсем профессионал в BASH Scripting, но могу разобраться с основами. Я использую MRXVT с Cygwin на моем окне Windows (MRXVT - это терминал RXVT с вкладками. RXVT - это стандартный терминал Cygwin, но с расширенными функциями). Я нашел команду для изменения имен вкладок для MRXVT:
echo -ne "\e]62;New tab title\a"
Это работает как шарм. Меня, однако, не интересует A) Изменение вручную или B) Изменение статической строки
Я использую много SSH. Мне бы хотелось, чтобы заголовок вкладки в любой момент времени был username @ host [current directory].
Я не уверен, должен ли я использовать ловушку для этого. Честно говоря, я не понимаю, как работают ловушки. Я думаю, я мог бы создать псевдоним ssh, который получает первый аргумент команды ssh и устанавливает для него заголовок вкладки ... Это было бы достаточно, но не предпочтительно.
У вас, ребята, есть идеи?