# ~/.bash_logout, called when login shell exists