X-Git-Url: https://ruderich.org/simon/gitweb/?a=blobdiff_plain;f=shell%2Ffunctions;h=10283a393f3903afd5aba46178bc26eb933c4bc4;hb=660bd92f28c522138775a62d5ef64e01ad3b8c06;hp=308252bad0c581c1b9a3ee25e8e86e01033a88fe;hpb=9598f48f59d3ad70faac00f5c4c9466d28591a7e;p=config%2Fdotfiles.git

diff --git a/shell/functions b/shell/functions
index 308252b..10283a3 100644
--- a/shell/functions
+++ b/shell/functions
@@ -1,5 +1,20 @@
 # Shell functions useful to all shells.
 
+# Copyright (C) 2011-2012  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
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+#
+# This file is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this file.  If not, see <http://www.gnu.org/licenses/>.
+
 
 # Helper function to print debug information if $DEBUG is not empty.
 #
@@ -7,7 +22,7 @@
 # available everywhere.
 source_debug() {
     if [ x$DEBUG != x ]; then
-        echo $@
+        echo "$@"
     fi
 }
 
@@ -16,12 +31,12 @@ source_config() {
     source_debug "source_config(): $1"
 
     if [ -f $1 ]; then
-        source_debug "source_config(): . $1"
+        source_debug ". $1"
         . $1
     fi
 
     if [ -f $1.local ]; then
-        source_debug "source_config(): . $1.local"
+        source_debug ". $1.local"
         . $1.local
     fi
 }