# Source user's bash_profile if it exists
# bash-config will only load itself once per config set, so this will not loop
_prof="$(realpath "${HOME}/.bash_profile")"
[ -f "${_prof}" ] && source "${_prof}"
unset _prof