From bc0ff8a24cdf3e48af815c98e4f6c5f3d9e9f25e Mon Sep 17 00:00:00 2001
From: Steffen Vogel <post@steffenvogel.de>
Date: Tue, 24 Jun 2014 15:03:52 +0200
Subject: [PATCH] yet another fix

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

diff --git a/.bash_profile b/.bash_profile
index dc8c05f..6f9ea2f 100644
--- a/.bash_profile
+++ b/.bash_profile
@@ -1,6 +1,6 @@
 # if running bash
 if [ -n "$BASH_VERSION" ] &&  [ -f "$HOME/.bashrc" ]; then
-	."$HOME/.bashrc"
+	. "$HOME/.bashrc"
 fi
 
 # set PATH so it includes user's private bin if it exists