Pulire la cache dei path della shell

Problema: eseguendo un comando da shell ricevete un misterioso errore.

$ foo
-bash: /usr/local/bin/foo: No such file or directory
$

E voi lo sapete bene che il comando foo non si trova in /usr/local/bin: come
convincere anche il vostro sistema di cio'?

E' sufficiente lanciare il comando:
hash -r
Questo se utilizzate la shell bash. Un metodo piu' generale, valido anche per
le altre shell, e' il comando seguente:
PATH=$PATH 

In entrambi i casi viene ripulita la cache che consente alla shell di velocizzare la ricerca dei comandi piu' usati all'interno del PATH di sistema.