chiark / gitweb /
el/dot-emacs.el: Revert `variable-pitch' to (server-side) Helvetica 12pt.
[profile] / 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