Eu resolvi esse problema editando o ~/.bash_profile
.
Quando você usa pico .profile
em vez de editar o arquivo, o que criará um novo arquivo, eu escolhi "read file" (acho que é ctrl=r
) e ele me mostrou muitos arquivos. De lá, escolhi .bash_profile
.
Essa foi a minha solução. Não sei se é a melhor solução, mas funcionou para mim.