From 9b7620e32208f811fd4c3c2353f41ec687731432 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: .bash_profile: Make sure only files get sourced

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

(limited to '.bash_profile')

diff --git a/.bash_profile b/.bash_profile
index 8124c9a..0d8af54 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
 
-- 
cgit v1.2.3