### -*-bash-*-
###
### Bash logout things

## If there's a local hook, then run it.
[ -f "$HOME/.bash_logout-local" ] && . "$HOME/.bash_logout-local"