Uma alteração feita em ~/.bash_profile
só será vista em novas sessões de shell (novas janelas de terminal). Uma nova sessão de shell analisará o arquivo de configuração atualizado e terá o novo valor $JAVA_HOME
.
Isso pressupõe que o terminal inicie novas shells como shells de login. Caso contrário, a alteração deve entrar em ~/.bashrc
. Se você não estiver usando bash
, mas algum outro shell, o nome do arquivo dependerá do shell que você está usando.
Para alterar o valor de $JAVA_HOME
em uma sessão existente, você terá que definir o valor explicitamente na linha de comando ou, como descobriu, obter o arquivo de inicialização do shell (que pode ou não ter outros efeitos colaterais dependendo do que os outros comandos no arquivo estão fazendo).