Closed skmichaelson closed 5 years ago
Turns out, running source ~/.bash_profile doesn't have an impact on non-login shells. Using bash --login defaults to sourcing ~/.bash_profile.
source ~/.bash_profile
bash --login
~/.bash_profile
Sounds good to me. I’m going to try it out and then merge if it works for me.
I thought this was working, but it ends up terminating your script. I'm rescinding my PR.
Turns out, running
source ~/.bash_profile
doesn't have an impact on non-login shells. Usingbash --login
defaults to sourcing~/.bash_profile
.