O perfil do shell - para bash, ~/.bash_profile
- é carregado apenas quando você inicia um shell login . Um shell de não-login usa ~/.bashrc
.
Suponhamos que o seu terminal esteja iniciando um shell que não seja de login para uma nova aba ou janela, o que significa que sua alteração não será vista até que você efetue o logoff e volte a fazê-lo.
Você pode considerar configurar seu caminho em .bashrc
ou pode definir seu programa de terminal para iniciar os shells de login. (Eu geralmente prefiro o mais tarde, mas YMMV)