chiark / gitweb /
dot/dircolors: Turn on colouring for Screen.
[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"