A maneira mais fácil e não-agressiva de atualizar o ambiente é encerrar a sessão atual do shell e iniciar uma nova.
Você também pode iniciar um novo shell de login a partir do shell atual, mas isso pode ter consequências indesejadas, como modificar PATH
, mesmo que você já tenha modificado seu PATH
(variáveis de ambiente herdadas pelo novo shell, e não redefinir para o que eles teriam sido se você tivesse iniciado um novo shell em um novo terminal).
Você também pode iniciar um novo shell com env -i bash -l
, em que env -i
limparia o ambiente antes de invocar um novo shell de login bash
. Isso pode não ser o mesmo que iniciar um novo shell em um novo terminal, já que o ambiente herdado não seria o mesmo.