Bug in filename expansion

Bug in filename expansion

[Ray Van_Tassle]

I do this:
>touch zzayy                                                             ~/temp
>touch zzbyy                                                             ~/temp
>touch zzxyy                                                             ~/temp
>ls zz*                                                                  ~/temp
zzayy  zzbyy  zzxyy

>ls zz(a|b)yy                                                            ~/temp
zzayy  zzbyy

>ls zz^(a|b)yy                                                           ~/temp
zsh: no match
 
Seems wrong.  According to the man pages, the 2nd command should give me
the files that start with "zz", then have either "a" or "b", and end with "yy".
OK.
But the 3rd command should give me the files that start with "zz", then have
a character OTHER than "a" or "b", and end with "yy".
It should give me "zzxyy", but it doesn't.
 
This is with zsh-2.6-beta20
 
Thanks,
Ray Van Tassle
rayvt@comm.mot.com

Re: Bug in filename expansion

[Zoltan Hidvegi]

> >ls zz*
> zzayy  zzbyy  zzxyy
> 
> >ls zz(a|b)yy
> zzayy  zzbyy
> 
> >ls zz^(a|b)yy
> zsh: no match
>  
> Seems wrong.
[...]
> But the 3rd command should give me the files that start with "zz", then have
> a character OTHER than "a" or "b", and end with "yy".
> It should give me "zzxyy", but it doesn't.

No, it isn't wrong.  ^pattern matches if pattern does not match.  You should
use groupping.

zz^(a|b)yy is the same as zz^((a|b)yy) and zz(^(a|b))yy is what you want.

Zoltan

Re: Bug in filename expansion

[Mark Borges]

>> On 21 Jun 96 10:26:27 -0500,
>> Ray Van Tassle-CRV004(RVT) wrote:
>> use groupping.
>> 
>> zz^(a|b)yy is the same as zz^((a|b)yy) and zz(^(a|b))yy is what you want.
>> 
RVT> No, that doesn't work either.  Also, if my 1st attempt ("zz^(a|b)yy") is
RVT> incorrect, this is a surprise, and it should probably be mentioned in the
RVT> documentation.

This is one of those "only works with extendedglob set"
things. Perhaps the manual should be clearer, if it isn't (I haven't
had time to check carefully yet).

  $ ~/bin/sunos-5.5/zsh-2.6b21 -f
  % touch zz{a,b,x}yy
  % ls
  zzayy  zzbyy  zzxyy
  % echo zz(a|b)yy
  zzayy zzbyy
  % echo zz^(a|b)yy
  zsh: no matches found: zz^(a|b)yy
  % setopt extendedglob
  % echo zz^(a|b)yy
  zzxyy
  % echo zz^((a|b))yy
  zzxyy
  % echo $ZSH_VERSION
  2.6-beta21
  %

-- 
  -mb-

RE: Bug in filename expansion

[Ray_Van_Tassle-CRV004]

[[ example deleted ]]
> No, it isn't wrong.  ^pattern matches if pattern does not match.  You 
should
> use groupping.
> 
> zz^(a|b)yy is the same as zz^((a|b)yy) and zz(^(a|b))yy is what you want.
> 
> Zoltan
>
No, that doesn't work either.  Also, if my 1st attempt ("zz^(a|b)yy") is
incorrect, this is a surprise, and it should probably be mentioned in the
documentation. Or maybe the precedence of "^" changed ?
If there isn't a bug here (and I think there is), then we need some
further examples of "how to do it".

Also.... how can I do a parenthisised group at the *end* of a pattern?  It 
thinks that this is a "list of qualifiers".


Here's my trial script & output:
 
setopt verbose
touch zzayy
touch zzbyy
touch zzxyy
ls zz*
zzayy
zzbyy
zzxyy
#next works--shows a & b
ls zz(a|b)yy
zzayy
zzbyy
#next doesn't work--should show x
ls zz^(a|b)yy
./try: no match [9]
# zoltan says the above means the same as next
ls zz(^(a|b)yy)
./try: no match [11]
# zoltan says this will show x. but it doesn't
ls zz(^(a|b))yy
./try: no match [13]
unsetopt verbose