shell/rc: minor documentation update

[config/dotfiles.git] / shell / functions

diff --git a/shell/functions b/shell/functions
index f3a4096b51b00238efec9d8927b2555a7f2538aa..19109e753aa2c04af9983ba55670dece40bb85b4 100644 (file)
--- a/shell/functions
+++ b/shell/functions
@@ -1,12 +1,27 @@
 # 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.
 #
 # 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
+    if test "x$DEBUG" != x; then
         echo "$@"
     fi
 }
@@ -15,14 +30,14 @@ source_debug() {
 source_config() {
     source_debug "source_config(): $1"
 
-    if [ -f $1 ]; then
+    if test -f "$1"; then
         source_debug ". $1"
-        . $1
+        . "$1"
     fi
 
-    if [ -f $1.local ]; then
+    if test -f "$1.local"; then
         source_debug ". $1.local"
-        . $1.local
+        . "$1.local"
     fi
 }