Zsh Mailing List Archive
Messages sorted by:
PATCH: 3.1.5: doc fix, was re: Case-insensitive globbing
- X-seq: zsh-workers 4578
- From: Peter Stephenson <pws@xxxxxxxxxxxxxxxxx>
- To: zsh-workers@xxxxxxxxxxxxxxx (Zsh hackers list)
- Subject: PATCH: 3.1.5: doc fix, was re: Case-insensitive globbing
- Date: Fri, 06 Nov 1998 12:01:26 +0100
- In-reply-to: ""Bart Schaefer""'s message of "Thu, 05 Nov 1998 10:15:05 NFT." <981105101505.ZM28911@xxxxxxxxxxxxxxxxxxxxxxx>
"Bart Schaefer" wrote:
> zsh% echo zsh-3.1.5/((#i)src|doc)/make*
> Should the case-insensitivity end at the )/ or not? (I just got these
> patches compiled, and presently it does stop at close of group, which I
> think is good.)
This is supposed to be explicit in the documentation in the original
> } everything between the / and the next ) is ignored. [...]
> } Documenting it might be an idea.
The patch below adds a few lines mentioning the limitation.
> Hm. I don't think grouping needs to work inside the command word, but
> there should not be an implicit word break before the paren:
> zagzig<7> echo(config.|stamp-)h
> config.h stamp-h
> Rather I'd expect to see some sort of parse error, or command-not-found.
I suppose it's for people to be able to do things like `if(test...)'
without typing all those time-consuming spaces.
*** Doc/Zsh/expn.yo.group Tue Nov 3 13:32:28 1998
--- Doc/Zsh/expn.yo Fri Nov 6 11:54:52 1998
*** 777,782 ****
--- 777,785 ----
If the tt(KSH_GLOB) option is set, then a
`tt(@)', `tt(*)', `tt(+)', `tt(?)' or `tt(!)' immediately preceding
the `tt(LPAR())' is treated specially, as detailed below.
+ Note that grouping cannot currently extend over multiple directories:
+ a `tt(/)' separating a directory terminates processing of the current
+ group; processing resumes after the end of the group.
Matches either var(x) or var(y).
Peter Stephenson <pws@xxxxxxxxxxxxxxxxx> Tel: +39 050 844536
Dipartimento di Fisica, Via Buonarotti 2, 56100 Pisa, Italy
Messages sorted by: