Merge branch 'master' of git+ssh://crybaby.distorted.org.uk/~mdw/etc/profile
[profile] / bash_logout
1 #
2 # Bash logout things
3 #
4
5 #[ -n "$__mdw_started_pixie" ] && \
6 # pixie -C quit