function ssh()
{
local args=($*)
- save_terminal_title
# we remember the old terminal title, then force the TERM variable to a more generic
# version for the other side (just 'linux'); we don't want the remote side still
# thinking it's running xterm.
+ save_terminal_title
+ # we save the value of TERM; we don't want to leave the user's terminal
+ # brain dead once we come back from this function.
+ local oldterm="$TERM"
export TERM=linux
/usr/bin/ssh -X -C "${args[@]}"
restore_terminal_title
+ # restore the terminal variable also.
+ TERM="$oldterm"
}
##############