Ter mais entradas $PATH
não diminui a velocidade da inicialização diretamente, mas diminui a cada vez que você executa um comando específico em uma sessão de shell (nem sempre que o comando é executado, porque o bash mantém um cache). A desaceleração raramente é perceptível, a menos que você tenha um sistema de arquivos particularmente lento (por exemplo, NFS, Samba ou outro sistema de arquivos de rede ou no Cygwin).
Entradas duplicadas também são um pouco irritantes quando você revisa $PATH
visualmente, você precisa percorrer mais coisas.
É fácil o suficiente para evitar adicionar entradas duplicadas.
case ":$PATH:" in
*":$new_entry:"*) :;; # already there
*) PATH="$new_entry:$PATH";; # or PATH="$PATH:$new_entry"
esac
Nota lateral: obter o script shell de outra pessoa significa executar o código que ele escreveu. Em outras palavras, você está dando a seus amigos acesso à sua conta sempre que eles quiserem.
Nota lateral: .bashrc
não é o local certo para configurar $PATH
ou qualquer outra variável de ambiente. As variáveis de ambiente devem ser definidas ~/.profile
. Consulte Quais arquivos de instalação devem ser usados para configurar variáveis de ambiente com o bash? , Diferença entre .bashrc e .bash_profile .