Por padrão, .profile
só é carregado em shells de login.
Também por padrão, você não recebe um shell de login para um shell da GUI.
Coloque-o em, por exemplo, .bashrc
se estiver no bash ou saia de suas sessões de GUI e faça login novamente.
Você também pode obtê-lo manualmente ( . "$HOME/.profile"
) ou forçar um shell de login com --login
.
Acho útil ter instruções echo nesses arquivos rc para que eu possa saber exatamente quando cada um é carregado.
Nota:
Você não precisa da parte export
. PATH
já é uma variável de ambiente.