user/bash_logout

   1 #
   2 # ~/.bash_logout
   3 #
   4 # 2008-08-07, alex@barton.de
   5 #  - Show message of "ssh-agent -k"
   6 #  - Clear screen if last shell on local console.
   7 # 2003-07-13, alex@barton.de
   8 #  - Initial version.
   9 #
  10
  11 [ -e /tmp/ConfigDebug.$USER ] && echo " >> ~/.bash_logout ..."
  12
  13 # clean up SSH agents
  14 [ $SSH_AGENT_PID ] && eval `ssh-agent -k`
  15
  16 case `tty` in
  17 /dev/tty[0-9]*)
  18         [ -x /usr/bin/clear_console ] && /usr/bin/clear_console --quiet || clear
  19         ;;
  20 *)
  21         echo "Bye, bye, $USER!"; echo
  22 esac
  23
  24 # -eof-