> Qualquer edição no .bashrc pressupõe o recarregamento do mesmo, ou seja, > salve o arquivo e abra outra seção.
Sim, é necessário recarregar o .bashrc caso ele tenha sofrido alteração, mas não é necessário abrir outra sessão ( com dois esses ) para isso. Basta recarregar com um . ~/.bashrc MrBiTs