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

Re: Case Sensitivity Bug?

X-seq: zsh-workers 26152
From: Peter Stephenson <pws@xxxxxxx>
To: "Sean B. Palmer" <sean@xxxxxxxxxxxxxx>, zsh-workers@xxxxxxxxxx
Subject: Re: Case Sensitivity Bug?
Date: Wed, 17 Dec 2008 14:10:39 +0000
In-reply-to: <b6bb4d890812170427u5072025fo7177a28b92e4b1a3@xxxxxxxxxxxxxx>
Mailing-list: contact zsh-workers-help@xxxxxxxxxx; run by ezmlm
References: <b6bb4d890812160614x3373cc27sbd246c025d3a15b3@xxxxxxxxxxxxxx> <200812161440.mBGEelex007193@xxxxxxxxxxxxxx> <b6bb4d890812170427u5072025fo7177a28b92e4b1a3@xxxxxxxxxxxxxx>

"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

References:
- Case Sensitivity Bug?
  - From: Sean B. Palmer
- Re: Case Sensitivity Bug?
  - From: Peter Stephenson
- Re: Case Sensitivity Bug?
  - From: Sean B. Palmer

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