>> Daniel Silverstone <dsilvers@digital-scurf.org> writes: > daniel@clotho:~$ hash [...] > > So it is a bash bug IMHO A bit shorter: $ type echo echo is a shell builtin $ echo $SHELL /bin/bash -- Marcelo | "He says gods like to see an atheist around. Gives them mmagallo@debian.org | something to aim at." | -- (Terry Pratchett, Small Gods)