.profile.d/prompt.bashrc

   1 # Set the title of an xterm to the hostname unless the remote IP is matched by
   2 # a regular expression in ~/.ssh/forwarded.
   3 SSH_FORWARDED=$(get_remote_ip)
   4 if [ ! -z "$SSH_FORWARDED" ]; then
   5   if [ "$SSH_FORWARDED" = "localhost" ]; then
   6     SSH_FORWARDED=
   7   elif [ -f ~/.ssh/forwarded ]; then
   8     for forwarded in $(< ~/.ssh/forwarded); do
   9       if echo "$SSH_FORWARDED" | grep "$forwarded" &>/dev/null; then
  10         SSH_FORWARDED=
  11       fi
  12     done
  13     unset forwarded
  14   fi
  15   [ ! -z "$SSH_FORWARDED" ] && SSH_FORWARDED=" (from $(get_remote_ip -n))"
  16 fi
  17
  18 # Unscientific check for grid jobs.
  19 case ${SSH_CLIENT##* } in
  20   ""|22|2222);;
  21   *) SSH_FORWARDED="$SSH_FORWARDED [grid]"
  22 esac
  23
  24 info="$HOSTNAME$SSH_FORWARDED"
  25
  26 # Check for vim.
  27 vimchild=" [vim]"
  28 if ps -o comm= -p $PPID 2>/dev/null | grep '^vim*$' &>/dev/null; then
  29   # Clear [vim] when exiting.
  30   trap "echo -ne '\\033]0;$info\\033\\0134'" exit
  31   info="$info$vimchild"
  32 fi
  33 if [ "${TERM##screen}" = "$TERM" ]; then
  34   PROMPT_COMMAND="echo -ne '\033]0;$info\033\0134\r\033[K'"
  35 else
  36   PROMPT_COMMAND='echo -ne "\033k\033\0134"'
  37 fi
  38 unset blank info vimchild SSH_FORWARDED
  39
  40 # Actual dtterm barfs on escape sequences.
  41 if [ "$TERMINAL_EMULATOR" = "dtterm" ]; then
  42   unset PROMPT_COMMAND
  43 fi
  44
  45 # As does screen on an ancient Solaris host.
  46 if [ -n "$OLDSOLARIS" -a ! "${TERM##screen}" = "$TERM" ]; then
  47   unset PROMPT_COMMAND
  48 fi