### -*-bash-*-
###
### Bash startup things.

## Do the common shell profile things.
. "$HOME/.profile"

## Bash-specific hack: if we haven't run the `.bashrc' yet, and this shell is
## interactive, then run it now.
case ${__mdw_bashrc+t} in
  t) ;;
  *) if [ -t 0 ] && [ -r "$HOME/.bashrc" ]; then . "$HOME/.bashrc"; fi ;;
esac

###----- That's all, folks --------------------------------------------------