chiark / gitweb /
dot/ercrc.el (mdw-define-bot-greeting): Update the existing entry.
[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"