Le sujet dit tout, comment rééditer les exécutables disponibles dans l'un des $ PATH après avoir changé des choses: par exemple, en supprimant un binaire d'un $ PATH disponible dans un autre $ PATH, modifié la variable $ PATH.
64
hash -r
est ce qui doit être fait. En zsh c'est rehash et rehash n'existe pas (par défaut) en bash.
J'utilise les deux coques et le rehash a été renforcé dans mon cerveau arrière pendant des décennies, il sort de mes doigts sans demander. Pour tenir compte de ces réflexes, j’ai ajouté
alias rehash='hash -r'
à mon.aliases_bash
dossier, que j’ai testé et dont je me suis inspiré.bashrc
.Pour résumer,
.bashrc
j'utilise la ligne:et
/.aliases_bash
j'utilise la lignela source