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.