If you’ve ever battled various bash profiles to see which one is being used or over ridden, here’s a quick way to troubleshoot. Note: You can find out what shell you’re using by entering: echo $SHELL in your terminal. Let’s say we have two bash files, ~/.bash_profile and …