739b272
Set custom PATH in non-login shells .bash_profile is sourced only in login shells. Since .bash_profile sources .bashrc, it should be safe to set custom PATH in .bashrc. Resolves: #1615131