Permalink
Browse files

.bash_profile: Make sure only files get sourced

Closes #250.
  • Loading branch information...
1 parent 25cddf6 commit 9b7620e32208f811fd4c3c2353f41ec687731432 @ChristianGaertner ChristianGaertner committed with Sep 15, 2013
Showing with 1 addition and 1 deletion.
  1. +1 −1 .bash_profile
View
@@ -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

0 comments on commit 9b7620e

Please sign in to comment.