Re: When a hashed pathname is deleted, search PATH

On 15 March 2014 18:23, Chet Ramey wrote: > It's not been a problem, really. The existence of the `checkhash' option > has been enough. How often do you remove binaries in directories in $PATH? > Fairly often: I frequently rename or retire scripts in my per-user bin directory. Since bash is h

Re: When a hashed pathname is deleted, search PATH

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 3/14/14, 6:14 PM, Eric Blake wrote: > So the three ways to reset a hash without resorting to the non-portable > shopt are 'hash -r', 'PATH=$PATH', or causing lookup to fail - but bash > is not honoring the third way by default (I didn't test if bas

Re: When a hashed pathname is deleted, search PATH

On 3/14/14, 6:05 PM, Reuben Thomas wrote: > On 14 March 2014 18:23, Chet Ramey > wrote: > > On 3/14/14 12:11 PM, Reuben Thomas wrote: > > Tested in bash 4.3. > > > > $ foo > > ... a command is run > > $ hash > > hits command > >0 /ho