Je source bashrc de quelques-uns de mes amis. Je finis donc par avoir des entrées en double dans ma variable $ PATH. Je ne suis pas sûr que ce soit le problème pour les commandes dont le démarrage est long. Comment fonctionne $ PATH en interne dans bash? Avoir plus de PATHS ralentit-il mon temps de démarrage?