From 5852b20e751a06c52eeda74389e5953743c0bebb Mon Sep 17 00:00:00 2001
From: Josh Holtrop <jholtrop@gmail.com>
Date: Fri, 8 Nov 2013 15:19:03 -0500
Subject: [PATCH] a few bashrc updates

---
 bashrc | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/bashrc b/bashrc
index 4dab293..86fe3b6 100755
--- a/bashrc
+++ b/bashrc
@@ -30,4 +30,14 @@ if [ -e /bin/cygwin1.dll ]; then
         kill $pid
     }
 
+    # for scons
+    unset ALLUSERSPROFILE
+
+    if [[ "$(ps -ef | grep XWin | grep -v grep)" == "" ]]; then
+        cygstart --hide startxwin
+    fi
+fi
+
+if [ -f "${HOME}/.bashrc.local" ]; then
+    source "${HOME}/.bashrc.local"
 fi