# # ~/.bash_logout # # 2008-08-07, alex@barton.de # - Show message of "ssh-agent -k" # - Clear screen if last shell on local console. # 2003-07-13, alex@barton.de # - Initial version. # # clean up SSH agents [ $SSH_AGENT_PID ] && eval `ssh-agent -k` case `tty` in /dev/tty[0-9]*) [ -x /usr/bin/clear_console ] && /usr/bin/clear_console --quiet || clear ;; *) echo "Bye, bye, $USER!"; echo esac # -eof-