# Bash logout commands.
#
# $Revision: 45a6d8582b36 $ $Date: Thu, 14 Mar 2024 21:47:43 -0400 $
# $Source: /doc/html/htdocs/dotfiles/top/dot-bash_logout $
# $Host: hairball.my.domain $
# $UUID: a2b9f98c-a9b9-31d0-87da-e6becf59d568 $
 
test -f $HOME/.current && rm $HOME/.current
echo "current=$current"	> $HOME/.current