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

diff --git a/shell/functions b/shell/functions
deleted file mode 100644
index 308252b..0000000
--- a/shell/functions
+++ /dev/null
@@ -1,29 +0,0 @@
-# Shell functions useful to all shells.
-
-
-# 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 "source_config(): . $1"
-        . $1
-    fi
-
-    if [ -f $1.local ]; then
-        source_debug "source_config(): . $1.local"
-        . $1.local
-    fi
-}
-
-# vim: ft=sh