# Avoid /etc/profile scripts that do not load bash_profile by trying to load it
# before anything else; bash-config will not load itself more than once, so this
# will not loop.

source "${_base}/bash_profile"