chiark / gitweb /
~mdw / profile / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
Merge branch 'master' of us:git/staging/profile
[profile] / dot / bash_logout
1 ### -*-bash-*-
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"
Dotfiles and other configuration.