X-Git-Url: https://ruderich.org/simon/gitweb/?a=blobdiff_plain;f=shell%2Fenv;h=c654613b77a9c838b5284aa159cdecd3991a3fdf;hb=c3ccdced26ff5d9baf36858968701e7b12447cd6;hp=9e94d7b020efd88c2e3ee539492a9f16444e1800;hpb=e63d539ffb618d18e67032f43301a0e99f7598be;p=config%2Fdotfiles.git

diff --git a/shell/env b/shell/env
index 9e94d7b..c654613 100644
--- a/shell/env
+++ b/shell/env
@@ -1,6 +1,19 @@
 # Configuration file for environment related options for all shells.
 
 
+# Helper function to print debug information if $DEBUG is not empty.
+#
+# Doesn't fit perfectly in this file, but this is the best place to make it
+# available everywhere.
+function source_debug() {
+    if [ x$DEBUG != x ]; then
+        echo $@
+    fi
+}
+
+
+source_debug "sourcing ~/.shell/env"
+
 # Use UTF-8 encoding in the terminal.
 LC_ALL=en_US.UTF-8
 LANG=$LC_ALL
@@ -80,30 +93,30 @@ export LSCOLORS
 #
 # 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
     local source_file_local=$1/$3.local
 
     # Additional debug output.
-    if [ x$DEBUG != x ]; then
-        echo "source_config(): checking if $source_file exists"
-        echo "source_config(): checking if $source_file_local exists"
-    fi
+    source_debug "source_config(): checking if $source_file exists"
+    source_debug "source_config(): checking if $source_file_local exists"
 
     # If the file does exist then source it.
     if [ -f $source_file ]; then
-        if [ x$DEBUG != x ]; then
-            echo "source_config(): sourcing $source_file"
-        fi
+        source_debug "source_config(): sourcing $source_file"
         source $source_file
 
     # Otherwise load the .local file if it exists and .local files are
     # allowed.
     elif [ -f $source_file_local -a x$5 != xnolocal ]; then
-        if [ x$DEBUG != x ]; then
-            echo "source_config(): sourcing $source_file_local"
-        fi
+        source_debug "source_config(): sourcing $source_file_local"
         source $source_file_local
+    else
+        source_debug "source_config(): neither exists"
     fi
 }
+
+source_debug "finished sourcing ~/.shell/env"