Parece que este foi respondido antes . Você precisa estar ciente das prioridades de carregamento dos arquivos.
[EDITAR]
Você tem duas opções:
-
(Não recomendado) Obtenha seu terminal para iniciar como um shell de login:
- abre um terminal
- Ir para Editar - > Preferências de perfil - > Título e Comando
- ative a caixa de seleção "Executar comando como um shell de login" Desta forma, o seu .profile é lido. Mas isso também atrapalha o comportamento de carregamento padrão, então eu recomendo:
- Edite ou crie ~ / .bashrc!
Veja aqui para obter uma boa explicação sobre a diferença entre .bashrc e .bash_profile