user/bash_logout

   1 #
   2 # ~/.bash_logout: executed by bash(1) on logout
   3 # Written 2003-2009 by Alexander Barton (alex@barton.de)
   4 #
   5
   6 [ -e /tmp/ConfigDebug.$USER ] && echo " >> ~/.bash_logout ..."
   7
   8 # clean up SSH agents
   9 [ $SSH_AGENT_PID ] && eval `ssh-agent -k`
  10
  11 case `tty` in
  12 /dev/tty[0-9]*)
  13         [ -x /usr/bin/clear_console ] && /usr/bin/clear_console --quiet || clear
  14         ;;
  15 *)
  16         echo "Bye, bye, $USER!"; echo
  17 esac
  18
  19 # -eof-