t) ;;
*) __mdw_bashrc=t
-## Fetch the common configuration.
+###--------------------------------------------------------------------------
+### Common shell configuration.
+
. "$HOME/.shell-rc"
+###--------------------------------------------------------------------------
+### Other preliminaries.
+
## If we've not run the main profile yet, we should do that first. It sets
## up things we rely on. Also, if there's a system script, we should run
## that too.