chiark - git - mdw - profile/blob - dot/shell-logout

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