chiark - git - mdw - profile/blob - dot/bash_logout

   1 ### -*-sh-*-
   2 ###
   3 ### Bash logout things
   4
   5 ## If there's a local hook, then run it.
   6 [ -f "$HOME/.bash_logout-local" ] && . "$HOME/.bash_logout-local"