.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" ]; then
   8   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
   9     SSH_FORWARDED=" (from $SSH_FORWARDED)"
  10   else
  11     SSH_FORWARDED=
  12   fi
  13 fi
  14
  15 # Unscientific check for grid jobs.
  16 case ${SSH_CLIENT##* } in
  17   ""|22|2222);;
  18   *) SSH_FORWARDED="$SSH_FORWARDED [grid]"
  19 esac
  20
  21 info="$HOSTNAME$SSH_FORWARDED"
  22
  23 # Check for vim.
  24 vimchild=" [vim]"
  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
  28   info="$info$vimchild"
  29 fi
  30 blank=$(echo "$info" | sed 's/./ /g')
  31 if [ "${TERM##screen}" = "$TERM" ]; then
  32   export PROMPT_COMMAND="echo -ne '\033]0;$info\007\r$blank \r'"
  33 else
  34   export PROMPT_COMMAND='echo -ne "\033k\033\\"'
  35 fi
  36 unset blank info vimchild SSH_FORWARDED