chiark / gitweb /
dot/mailrc: Parents changed email addresses again.
[profile] / dot / bash_logout
1 #
2 # Bash logout things
3 #
4
5 #[ -n "$__mdw_started_pixie" ] && \
6 #  pixie -C quit