###
### Bash startup things
-## Only do any of this if we haven't done it before. Otherwise we
-## can have loops and lots of wasted time.
-if [ -z "$__mdw_profile" ]; then
+## The `.bashrc' hook will run us if it thinks we haven't been run before.
+## We should therefore let it know.
export __mdw_profile=done
###--------------------------------------------------------------------------
## If there's a local hook then run it.
[ -f "$HOME/.profile-local" ] && . "$HOME/.profile-local"
-## End of the `__mdw_profile' guard.
-fi
-
## If we haven't run the `.bashrc' yet, and this shell is interactive, then
## run it now.
[ -z "$__mdw_bashrc" ] && [ -t 0 ] && \