chiark / gitweb /
bashrc: New alias `re' for editing things as root.
[profile] / bash_logout
1 #
2 # $Id$
3 #
4 # Bash logout things
5 #
6
7 #[ -n "$__mdw_started_pixie" ] && \
8 #  pixie -C quit