From bce33d39e07cd45bf2542274efcb1da976dd975e Mon Sep 17 00:00:00 2001
From: Matthias Kretschmann <desk@kremalicious.com>
Date: Sat, 5 Oct 2013 13:31:13 +0200
Subject: [PATCH] Make sure only files get sourced

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

diff --git a/bash_profile b/bash_profile
index 26da9ef..da82b9a 100644
--- a/bash_profile
+++ b/bash_profile
@@ -13,7 +13,7 @@
 # ----------------------------------------------------------------------
 
 for file in ~/.{bash_prompt,aliases,private}; do
-	[ -r "$file" ] && source "$file"
+	[ -r "$file" ] && [ -f "$file" ] && source "$file"
 done
 unset file