From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 28578 invoked from network); 4 Nov 1998 18:58:34 -0000 Received: from ns2.primenet.com.au (HELO primenet.com.au) (7795@203.24.36.3) by ns1.primenet.com.au with SMTP; 4 Nov 1998 18:58:34 -0000 Received: (qmail 27309 invoked from network); 4 Nov 1998 18:58:25 -0000 Received: from math.gatech.edu (list@130.207.146.50) by ns2.primenet.com.au with SMTP; 4 Nov 1998 18:58:25 -0000 Received: (from list@localhost) by math.gatech.edu (8.9.1/8.9.1) id NAA29002; Wed, 4 Nov 1998 13:50:34 -0500 (EST) Resent-Date: Wed, 4 Nov 1998 13:50:34 -0500 (EST) From: "Bart Schaefer" Message-Id: <981104104858.ZM21585@candle.brasslantern.com> Date: Wed, 4 Nov 1998 10:48:58 -0800 In-Reply-To: <9811021707.AA24379@ibmth.df.unipi.it> Comments: In reply to Peter Stephenson "Re: PATCH: 3.1.5 - (Sven) Case-insensitive globbing" (Nov 2, 6:07pm) References: <9811021707.AA24379@ibmth.df.unipi.it> <199811021806.SAA10170@diamond.tao.co.uk> <199811030812.JAA23176@beta.informatik.hu-berlin.de> <199811031501.PAA31047@diamond.tao.co.uk> <199811031854.SAA26578@diamond.tao.co.uk> <199811031914.VAA20835@alpha.hut.fi> <199811031927.TAA31643@diamond.tao.co.uk> <199811031936.VAA13012@alpha.hut.fi> In-Reply-To: <199811021806.SAA10170@diamond.tao.co.uk> Comments: In reply to "Zefram" "Re: PATCH: 3.1.5 - (Sven) Case-insensitive globbing" (Nov 2, 6:06pm) In-Reply-To: <199811030812.JAA23176@beta.informatik.hu-berlin.de> Comments: In reply to Sven Wischnowsky "Re: PATCH: 3.1.5 - (Sven) Case-insensitive globbing" (Nov 3, 9:12am) In-Reply-To: Comments: In reply to Bruce Stephens "Re: PATCH: 3.1.5 - (Sven) Case-insensitive globbing" (Nov 3, 12:22pm) In-Reply-To: <199811031501.PAA31047@diamond.tao.co.uk> Comments: In reply to "Zefram" "Re: PATCH: 3.1.5 - (Sven) Case-insensitive globbing" (Nov 3, 3:01pm) In-Reply-To: Comments: In reply to Jarkko Hietaniemi "Re: PATCH: 3.1.5 - (Sven) Case-insensitive globbing" (Nov 3, 8:09pm) In-Reply-To: <199811031854.SAA26578@diamond.tao.co.uk> Comments: In reply to "Zefram" "Re: PATCH: 3.1.5 - (Sven) Case-insensitive globbing" (Nov 3, 6:54pm) In-Reply-To: <199811031914.VAA20835@alpha.hut.fi> Comments: In reply to Jarkko Hietaniemi "Re: PATCH: 3.1.5 - (Sven) Case-insensitive globbing" (Nov 3, 9:14pm) In-Reply-To: <199811031927.TAA31643@diamond.tao.co.uk> Comments: In reply to "Zefram" "Re: PATCH: 3.1.5 - (Sven) Case-insensitive globbing" (Nov 3, 7:27pm) In-Reply-To: <199811031936.VAA13012@alpha.hut.fi> Comments: In reply to Jarkko Hietaniemi "Re: PATCH: 3.1.5 - (Sven) Case-insensitive globbing" (Nov 3, 9:36pm) X-Mailer: Z-Mail (4.0b.820 20aug96) To: zsh-workers@math.gatech.edu (Zsh hackers list) Subject: Re: PATCH: 3.1.5 - (Sven) Case-insensitive globbing MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Resent-Message-ID: <"OjSej.0.557.v7AGs"@math> Resent-From: zsh-workers@math.gatech.edu X-Mailing-List: archive/latest/4541 X-Loop: zsh-workers@math.gatech.edu Precedence: list Resent-Sender: zsh-workers-request@math.gatech.edu Skipping a lot of conversation here ... On Nov 2, 6:07pm, Peter Stephenson wrote: } Subject: Re: PATCH: 3.1.5 - (Sven) Case-insensitive globbing } } "Zefram" wrote: } > Case insensitivity is } > a property of pattern matching, not filename generation. Therefore the } > syntax to control case sensitivity should be part of the glob pattern I've decided that I agree with that. } I've got two possible implentations to propose (I have them both } working, the differences aren't so great). I agree with the choice that's been made of which one to use. On Nov 2, 6:06pm, Zefram wrote: } Subject: Re: PATCH: 3.1.5 - (Sven) Case-insensitive globbing } } If there were just two senses to the flag, I'd argue for #i and #I (#I } being the opposite of #i). In this case perhaps #i, #l and #I could be } used. I'd prefer a better mnemonic for the one-way case insensitivity, } though. I agree about the mnemonic for one-way, but I think what PWS did is fine (based on the description at the top of the patch message, I haven't had a chance to actually try it yet). On Nov 3, 9:12am, Sven Wischnowsky wrote: } Subject: Re: PATCH: 3.1.5 - (Sven) Case-insensitive globbing } } About the `options for the whole path' thing (which I would like to } have, too): why not use a generic approach, like the `^' and `-' glob } modifiers, i.e. `(#i)' works on the current path component, probably } only up to the next `(#...)' and `(#/i)' works on this and all } following components (until switched off again). I think that's getting a bit too complicated. However, I'm curious how (#i) interacts with parenthesis for grouping. For example: zsh% echo zsh-3.1.5/((#i)src/zle|doc/zsh)/make* Where does the case-insensitivity stop in that expression? It would be logical for it to stop at either the vertical bar or the close paren. BTW, is there going to be a parsing conflict between things like ((#i)src) and math expressions in (( ))? How do you get the desired glob behavior if there is? I'm going to have to catch up on the autocorrect and approximate matching part of this discussion later, I'm out of time right now. -- Bart Schaefer Brass Lantern Enterprises http://www.well.com/user/barts http://www.brasslantern.com