#
# ~/.bash_logout: executed by bash(1) on logout
# Written 2003-2009 by Alexander Barton (alex@barton.de)
#
# This script is executed by bash(1) on logout.
#
# PLEASE NOTE:
# To make this script generic, it sources ~/bash_logout.user if it exists.
# So you shouldn't make changes to this script, but create your own
# individual ~/bash_logout.user file!
#

[ -e ~/.ConfigScripts.debug ] && echo " >> ~/.bash_logout ..."

[ -r ~/.bash_logout.user ] && source ~/.bash_logout.user

# Clean up SSH agents, if running
[ $SSH_AGENT_PID ] && eval `ssh-agent -k`

# Clear console, it it is local terminal
case `tty` in
    /dev/tty[0-9]*|/dev/ttyS[0-9]*)
	[ -x /usr/bin/clear_console ] && /usr/bin/clear_console --quiet || clear
	;;
    *)
	echo "Bye, bye, $USER!"; echo
esac

# -eof-