3 # Set the title of an xterm to the hostname.
6 SSH_FORWARDED=$(get_remote_ip -n)
7 if [ ! -z "$SSH_FORWARDED" ]; then
8 if [ ! "$SSH_FORWARDED" = "62.189.242.202" -a ! "$SSH_FORWARDED" = "62.189.241.202" -a ! "$SSH_FORWARDED" = "193.128.72.68" ]; then
9 SSH_FORWARDED=" (from $SSH_FORWARDED)"
15 # Unscientific check for grid jobs.
16 case ${SSH_CLIENT##* } in
18 *) SSH_FORWARDED="$SSH_FORWARDED [grid]"
21 info="$HOSTNAME$SSH_FORWARDED"
25 if ps -o comm= -p $PPID 2>/dev/null | grep '^vim*$' &>/dev/null; then
26 # Clear [vim] when exiting.
27 trap "echo -ne '\\033]0;$info\\007'" exit
30 blank=$(echo "$info" | sed 's/./ /g')
31 export PROMPT_COMMAND="echo -ne '\033]0;$info\007\r$blank \r'"
32 unset blank info vimchild SSH_FORWARDED