chiark / gitweb /
dot/bashrc, dot/zshrc: Promote invoking the common config.
[profile] / dot / bashrc
index 3053c666b10ac050f3f6aa4291b857c97a42acdc..9e872f58e0246a01ae40873949152e95ff4b8c61 100644 (file)
@@ -10,9 +10,14 @@ case ${__mdw_bashrc+t} in
   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.