What is the most concise way to source a file (only if it exists) in Bash? September 6, 2023 by Tarik Is defining your own version of @include an option? include () { [[ -f "$1" ]] && source "$1" } include FILE