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 # clean up SSH agents
  12 [ $SSH_AGENT_PID ] && eval `ssh-agent -k`
  13
  14 case `tty` in
  15 /dev/tty[0-9]*)
  16         [ -x /usr/bin/clear_console ] && /usr/bin/clear_console --quiet || clear
  17         ;;
  18 *)
  19         echo "Bye, bye, $USER!"; echo
  20 esac
  21
  22 # -eof-