From 14401b2b52aa5d070e85b19d2a6de65bcc01d5e7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christian=20G=C3=A4rtner?=
 <christiangaertner.film@googlemail.com>
Date: Sun, 15 Sep 2013 18:55:07 +0200
Subject: [PATCH] .bash_profile: Make sure only files get sourced

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

diff --git a/.bash_profile b/.bash_profile
index 8124c9a9999..0d8af546137 100644
--- a/.bash_profile
+++ b/.bash_profile
@@ -5,7 +5,7 @@ export PATH="$HOME/bin:$PATH"
 # * ~/.path can be used to extend `$PATH`.
 # * ~/.extra can be used for other settings you don’t want to commit.
 for file in ~/.{path,bash_prompt,exports,aliases,functions,extra}; do
-	[ -r "$file" ] && source "$file"
+	[ -r "$file" ] && [ -f "$file" ] && source "$file"
 done
 unset file