.profile.d/prompt.bashrc

   1 # $Id$
   2 #
   3 # Set the title of an xterm to the hostname.
   4 #
   5
   6 SSH_FORWARDED=$(get_remote_ip -n)
   7 if [ ! -z "$SSH_FORWARDED" -a ! "$SSH_ORIGINAL_COMMAND" = "/usr/NX/bin/nxnode" ]; then
   8   if [ ! "$SSH_FORWARDED" = "62.189.242.202" -a ! "$SSH_FORWARDED" = "62.189.241.202" ]; then
   9     SSH_FORWARDED=" (from $SSH_FORWARDED)"
  10   else
  11     SSH_FORWARDED=
  12   fi
  13 else
  14   SSH_FORWARDED=""
  15 fi
  16 if ps -o comm= -p $PPID 2>/dev/null | grep '^vim*$' &>/dev/null; then
  17   VIMCHILD=" [vim]"
  18 else
  19   VIMCHILD=
  20 fi
  21 info="$HOSTNAME$SSH_FORWARDED$VIMCHILD"
  22 blank=$(echo $info | sed 's/./ /g')
  23 export PROMPT_COMMAND="echo -ne '\033]0;$info\007\r$blank\r'"
  24 unset info blank SSH_FORWARDED VIMCHILD