Se você abrir uma nova guia no terminal do GNOME, ela copia o ambiente para o novo shell em vez de criar um novo ambiente vazio. Pessoalmente eu acho que é um erro (e é uma das razões pelas quais eu não usarei o terminal GNOME), mas tenho certeza que os desenvolvedores têm suas razões. Depois de iniciar uma nova aba e copiar o ambiente, ele inicia seu shell, que passa por sua rotina de inicialização interativa normal, que envolve o fornecimento de .bashrc
Se você quiser evitar que sua adição seja feita várias vezes, você tem algumas opções:
- alterne para um emulador de terminal diferente
- não faça a modificação em
.bashrc
, mas em.bash_profile
, que é parte do procedimento de login em vez da inicialização interativa e, portanto, não deve ser usada em uma nova guia (mas obviamente é possível que O terminal GNOME está ainda mais quebrado do que eu pensava e ainda pode iniciar o shell de uma forma que fontes.bash_profile
, afinal, já faz um bom tempo desde a última vez que usei) - verifique se a variável PATH já contém a modificação necessária antes de fazer novamente.