remove source_debug()

[config/dotfiles.git] / shell / functions

diff --git a/shell/functions b/shell/functions
index 10283a393f3903afd5aba46178bc26eb933c4bc4..838968b0b04d3ad2c391b4e66f2afc3ab902d740 100644 (file)
--- a/shell/functions
+++ b/shell/functions
@@ -1,6 +1,6 @@
 # Shell functions useful to all shells.
 
-# Copyright (C) 2011-2012  Simon Ruderich
+# Copyright (C) 2011-2014  Simon Ruderich
 #
 # This file is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
@@ -16,28 +16,14 @@
 # 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 [ x$DEBUG != x ]; then
-        echo "$@"
-    fi
-}
-
 # Source $1 if it exists. And $1.local if it exists as well.
 source_config() {
-    source_debug "source_config(): $1"
-
-    if [ -f $1 ]; then
-        source_debug ". $1"
-        . $1
+    if test -f "$1"; then
+        . "$1"
     fi
 
-    if [ -f $1.local ]; then
-        source_debug ". $1.local"
-        . $1.local
+    if test -f "$1.local"; then
+        . "$1.local"
     fi
 }