3 ### Bash startup things.
5 ## Do the common shell profile things.
8 ## Bash-specific hack: if we haven't run the `.bashrc' yet, and this shell is
9 ## interactive, then run it now.
10 case ${__mdw_bashrc+t} in
12 *) if [ -t 0 ] && [ -r "$HOME/.bashrc" ]; then . "$HOME/.bashrc"; fi ;;
15 ###----- That's all, folks --------------------------------------------------