Improved documentation for source_config().

diff --git a/shell/env b/shell/env
index 9e94d7b020efd88c2e3ee539492a9f16444e1800..be55b4e863f1b808a3b2186aa20b5722d88b2a0e 100644 (file)
--- a/shell/env
+++ b/shell/env
@@ -80,6 +80,8 @@ export LSCOLORS
 #
 # Doesn't fit perfectly in this file, but this is the best place to make it
 # available everywhere.
 #
 # Doesn't fit perfectly in this file, but this is the best place to make it
 # available everywhere.

+#
+# If DEBUG is set to a non empty value additional debug output is printed.

 function source_config() {
     # Path to the file to source and its local counterpart.
     local source_file=$1/$2/$3.$4
 function source_config() {
     # Path to the file to source and its local counterpart.
     local source_file=$1/$2/$3.$4