chiark / gitweb /
~mdw / profile / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
Merge remote-tracking branch 'staging'
[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.