I use one of the many solutions to set the terminal title:
Function in .bashrc:
function set-title() {
if [[ -z "$ORIG" ]]; then
ORIG=$PS1
fi
TITLE="\[\e]2;$*\a\]"
PS1=${ORIG}${TITLE}
}
And it works perfectly! But when I ssh to a remote host, the title is changed to [email protected].
Is there any solution to prevent title changing after ssh?