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.
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.