diff options
| author | Christian Gärtner <christiangaertner.film@googlemail.com> | 2013-09-15 18:55:07 +0200 |
|---|---|---|
| committer | Mathias Bynens <mathias@qiwi.be> | 2013-09-21 16:28:33 +0200 |
| commit | 9b7620e32208f811fd4c3c2353f41ec687731432 (patch) | |
| tree | c5a4c8f4d3195917ed04cb4817dc3d4742519bd7 /.bash_profile | |
| parent | 25cddf650425d785e8b75869ef1dec6b438d150e (diff) | |
| download | dotfiles-9b7620e32208f811fd4c3c2353f41ec687731432.tar.gz dotfiles-9b7620e32208f811fd4c3c2353f41ec687731432.tar.bz2 dotfiles-9b7620e32208f811fd4c3c2353f41ec687731432.zip | |
.bash_profile: Make sure only files get sourced
Closes #250.
Diffstat (limited to '.bash_profile')
| -rw-r--r-- | .bash_profile | 2 |
1 files changed, 1 insertions, 1 deletions
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 |