Подзадрало тут, что после каких-то моих модификаций вход в SSH-сессию перестал изменять заголовок терминала. Вроде бы зашел на другую машину, а в заголовке имя старой... Несколько раз чуть не промахивался в командах, после чего просто в конце .bash_profile удаленной машины написал
Код:
echo -en "\033]0;user@host\a"
при заходе, понятно, запускается bash, выполняется .bash_profile и устанавливается заголовок user@host. Что и требовалось.