some changes are made to .bash_profile Should these be instead to .bashrc or bash_aliases? The issue is that that .bash_profile always gets loaded for a login shell, but there might(?) be issues when a non-login shell is used? Requires investigation.