diff options
| -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 |