Re: case insensitive string match

[Frank Terbeck <ft@xxxxxxxxxxxxxxxxxxx>]

rahul wrote:
>> >> Thanks a lot. I think you meant:
>> >
>> >     % print -l ${(M)things:#(#i)*foo*}
>>
>> Actually, I didn't. The position of the (#i) determines where the
>> case-insensitivity starts. `*' matches everything anyway, so making it
>> case-insensitive does not add much.
>>
>> > When i typed in what you wrote I got a "zsh bad pattern"
>>
>> Works here, maybe you're missing "setopt extended_glob"?
>>
>>
>> I still get a bad pattern. I am on the latest zsh (homebrew on OSX). I
> added an entry called FOO and it comes up in the match.
>
> setopt extended_glob
>
> print -l ${(M)things:#*(#i)foo*}
> zsh: bad pattern: *(#i)foo*
>
> print -l ${(M)things:#(#i)*foo*}
> foo
> bfoor
> FOO
>
> echo $ZSH_VERSION
> 5.0.2

Weird, here both work. From zsh -f (which starts a shell without setup
files):

[snip]
zsh% setopt extended_glob
zsh% things=( foo bar bfoor thing FOO other frob )
zsh% print -l ${(M)things:#(#i)*foo*}
foo
bfoor
FOO
zsh% print -l ${(M)things:#*(#i)foo*}
foo
bfoor
FOO
[snap]

Are you maybe setting the `kshglob' option? Does it work if you do:

% setopt no_ksh_glob

Regards, Frank

-- 
In protocol design, perfection has been reached not when there is
nothing left to add, but when there is nothing left to take away.
                                                  -- RFC 1925