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