a few bashrc updates

2013-11-08 15:19:03 -05:00 · 2013-11-08 15:19:03 -05:00 · 5852b20e75
commit 5852b20e75
parent 9e5e382588
1 changed files with 10 additions and 0 deletions
--- a/10
+++ b/10
@ -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