SSH_FORWARDED=$(get_remote_ip -n)
if [ ! -z "$SSH_FORWARDED" ]; then
- if [ ! "$SSH_FORWARDED" = "62.189.242.202" -a ! "$SSH_FORWARDED" = "62.189.241.202" ]; then
+ if [ ! "$SSH_FORWARDED" = "62.189.242.202" -a ! "$SSH_FORWARDED" = "62.189.241.202" -a ! "$SSH_FORWARDED" = "193.128.72.68" -a ! "$SSH_FORWARDED" = "localhost" ]; then
SSH_FORWARDED=" (from $SSH_FORWARDED)"
else
SSH_FORWARDED=
# Unscientific check for grid jobs.
case ${SSH_CLIENT##* } in
- 22|2222);;
+ ""|22|2222);;
*) SSH_FORWARDED="$SSH_FORWARDED [grid]"
esac
info="$info$vimchild"
fi
blank=$(echo "$info" | sed 's/./ /g')
-export PROMPT_COMMAND="echo -ne '\033]0;$info\007\r$blank \r'"
+if [ "${TERM##screen}" = "$TERM" ]; then
+ export PROMPT_COMMAND="echo -ne '\033]0;$info\007\r$blank \r'"
+else
+ export PROMPT_COMMAND='echo -ne "\033k\033\\"'
+fi
unset blank info vimchild SSH_FORWARDED