When a hashed pathname is deleted, search PATH

[Reuben Thomas]

Tested in bash 4.3.

$ foo
... a command is run
$ hash
hits command
   0 /home/rrt/bin/foo
$ rm `which foo`
$ which foo
/usr/bin/foo
$ foo
bash: /home/rrt/bin/foo: No such file or directory

Why doesn't bash just remove the hashed path and do a normal PATH search? I
have to remove it manually.

-- 
http://rrt.sc3d.org