Re: When a hashed pathname is deleted, search PATH

[Chet Ramey]

On 3/14/14 12:11 PM, Reuben Thomas wrote:
> 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.

Look at the description of the `checkhash' option to `shopt'.  It does what
you want; it's just not the default.

Chet

-- 
``The lyf so short, the craft so long to lerne.'' - Chaucer
                 ``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, ITS, CWRU    chet@case.edu    http://cnswww.cns.cwru.edu/~chet/