dot/gitconfig.in: Run `diff-highlight' from the path, if it's there.
[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