+# 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"
+