Ça n'arrive pas tous les jours mais quand ça arrive on peut être surpris, d'autant plus que tous les shells ne réagissent pas de façon identique ...

Une autre façon de vider ce cache consiste à réaffecter le PATH, ex:

Code : Sélectionner tout - Visualiser dans une fenêtre à part
PATH="$PATH"