X-Git-Url: https://ruderich.org/simon/gitweb/?a=blobdiff_plain;f=shell%2Ffunctions;h=838968b0b04d3ad2c391b4e66f2afc3ab902d740;hb=10029386b0efedf07dcf368fdb2fcdd1c85017d0;hp=12874c6228a4f9f1f769729f8610a8d4fda318d8;hpb=d230a7af7a4d66f5311a3e7edcae18e7643cb134;p=config%2Fdotfiles.git

diff --git a/shell/functions b/shell/functions
index 12874c6..838968b 100644
--- a/shell/functions
+++ b/shell/functions
@@ -16,27 +16,13 @@
 # along with this file.  If not, see <http://www.gnu.org/licenses/>.
 
 
-# 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.
-source_debug() {
-    if test "x$DEBUG" != x; then
-        printf '%s' "$*"
-    fi
-}
-
 # Source $1 if it exists. And $1.local if it exists as well.
 source_config() {
-    source_debug "source_config(): $1"
-
     if test -f "$1"; then
-        source_debug ". $1"
         . "$1"
     fi
 
     if test -f "$1.local"; then
-        source_debug ". $1.local"
         . "$1.local"
     fi
 }