From f9a46f0a171a597110ebd0abac4be5c99ffcdfca Mon Sep 17 00:00:00 2001
From: Tobias Schmidl <T.Schmidl@erhardt-leimer.com>
Date: Fri, 11 Oct 2013 16:19:50 +0200
Subject: [PATCH] source $HOME/bin/set_environ.sh, if present

---
 profile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/profile b/profile
index c9db459..2ccb82a 100644
--- a/profile
+++ b/profile
@@ -20,3 +20,5 @@ fi
 if [ -d "$HOME/bin" ] ; then
     PATH="$HOME/bin:$PATH"
 fi
+
+[[ -f "$HOME/bin/set_environ.sh" ]] && . "$HOME/bin/set_environ.sh";