chiark - git - mdw - profile/blob - dot/bash_logout

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