mdw@git.distorted.org.uk Git - profile/blob - bash_logout

   1 #
   2 # Bash logout things
   3 #
   4
   5 #[ -n "$__mdw_started_pixie" ] && \
   6 #  pixie -C quit