dot/bash*: Reformat.

[profile] / dot / bash_logout

diff --git a/dot/bash_logout b/dot/bash_logout
index 9e67a160de35c215eab0fe21478101268c4bd95d..f3f4429eebb97253c247d55235175c7b6bef7c6d 100644 (file)
--- a/dot/bash_logout
+++ b/dot/bash_logout
@@ -1,6 +1,6 @@
-#
-# Bash logout things
-#
+### -*-sh-*-
+###
+### Bash logout things
 
-#[ -n "$__mdw_started_pixie" ] && \
-#  pixie -C quit
+## If there's a local hook, then run it.
+[ -f "$HOME/.bash_logout-local" ] && . "$HOME/.bash_logout-local"