From 6cf62dc94e3ebd93890bb23a0b127eb5d61f63bd Mon Sep 17 00:00:00 2001
From: Holger Just <web@meine-er.de>
Date: Mon, 30 Aug 2010 11:48:08 +0200
Subject: [PATCH] Fix file check for simultaneous starts of terminal windows

---
 .bashrc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.bashrc b/.bashrc
index 165ef38..e790cf6 100755
--- a/.bashrc
+++ b/.bashrc
@@ -67,7 +67,7 @@ fi
 USER_NAME="Holger Just"
 USER_EMAIL="web@meine-er.de"
 # Setting up git.
-if [ -f ~/.gitconfig ]; then
+if [[ -f ~/.gitconfig ]]; then
   if [ "$(git config --global user.name)" != "$USER_NAME" ]; then
     echo "WARNING: git's user.name is $(git config --global user.name)"
   fi