>> 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)