From: Simon Ruderich <simon@ruderich.org>
Date: Tue, 27 May 2014 23:15:33 +0000 (+0200)
Subject: xinitrc: remove source_debug()
X-Git-Url: https://ruderich.org/simon/gitweb/?p=config%2Fdotfiles.git;a=commitdiff_plain;h=dee1fbdc21c62d3525b7431fece77a1a6cb1a668

xinitrc: remove source_debug()

No longer used in ~/.shell/env.
---

diff --git a/xinitrc b/xinitrc
index 0f32482..8a649a1 100755
--- a/xinitrc
+++ b/xinitrc
@@ -24,12 +24,6 @@
 # LANG set (for Python's decode() function). Therefore load my general shell
 # environment which also includes $LANG.
 if test -f "$HOME/.shell/env"; then
-    # Debug function used in ~/.shell/env.
-    source_debug() {
-        # Do nothing.
-        :
-    }
-
     . "$HOME/.shell/env"
 fi