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

diff --git a/shell/functions b/shell/functions
deleted file mode 100644
index 19109e7..0000000
--- a/shell/functions
+++ /dev/null
@@ -1,44 +0,0 @@
-# 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 test "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 test -f "$1"; then
-        source_debug ". $1"
-        . "$1"
-    fi
-
-    if test -f "$1.local"; then
-        source_debug ". $1.local"
-        . "$1.local"
-    fi
-}
-
-# vim: ft=sh