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.
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.
Réponses:
hash -rest 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_bashdossier, que j’ai testé et dont je me suis inspiré .bashrc.
Pour résumer, .bashrcj'utilise la ligne:
[[ -f ~/.aliases_bash ]] && . ~/.aliases_bash et /.aliases_bashj'utilise la ligne
alias rehash='hash -r'