Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: Case Sensitivity Bug?



"Sean B. Palmer" wrote:
> On Tue, Dec 16, 2008 at 2:40 PM, Peter Stephenson <pws@xxxxxxx> wrote:
> 
> > I think it's down to command hashing.
> 
> If that were so, wouldn't this work?
> 
> $ zsh -c 'hash -r; which head'
> /opt/local/bin/head

I've completely lost track of what you mean by "work", but to answer the
implied question about the behaviour of "hash -r" instead:  all it does
is empty the hash table so it will be built up again in the usual way.
It doesn't refill the table again at that point.  Try "hash -rf".

-- 
Peter Stephenson <pws@xxxxxxx>                  Software Engineer
CSR PLC, Churchill House, Cambridge Business Park, Cowley Road
Cambridge, CB4 0WZ, UK                          Tel: +44 (0)1223 692070



Messages sorted by: Reverse Date, Date, Thread, Author