Exporting PATH effectively

`man bash` says that:

> By  default,  bash  reads  these (/etc/profile, ~/.bash_profile, ~/.bash_login, or ~/.profile)
> files  when  it  is  invoked  as  a  login shell