[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Dealing with character ranges in grep
From: |
Aharon Robbins |
Subject: |
Re: Dealing with character ranges in grep |
Date: |
Tue, 14 Jun 2011 22:22:22 +0300 |
User-agent: |
Heirloom mailx 12.4 7/29/08 |
Hi.
> From: Paolo Bonzini <address@hidden>
> Date: Tue, 14 Jun 2011 13:11:32 +0200
> Subject: Re: Dealing with character ranges in grep
> To: Aharon Robbins <address@hidden>
> Cc: address@hidden, address@hidden, address@hidden,
> address@hidden
>
> > ? In principle, I'm all for this, but in practice, I'm going to leave gawk's
> > ? code alone for now (there's always 4.1 :-).
>
> As long as --posix is not affecting the choice, that's fine. However,
> please make sure that compiling gawk --without-included-regex works
> (it should go without saying)!
I was wrong. Gawk doesn't have --with[out]-included-regex. Maybe at one
point it did, but no longer.
> But we do have control over gnulib, and the current choice there
> already doesn't match glibc's (strcoll-order doesn't always match
> glibc's collation equivalent ordering), so there's good reason to
> switch at least gnulib.
Makes sense. It'd be nice to see some convergence amongst the three
different regexes, but I don't have the energy to tackle this.
Thanks,
Arnold
- Re: Dealing with character ranges in grep, (continued)
Re: Dealing with character ranges in grep, Karl Berry, 2011/06/10
Re: Dealing with character ranges in grep, Paul Eggert, 2011/06/09
- Re: Dealing with character ranges in grep, Paolo Bonzini, 2011/06/09
- Re: Dealing with character ranges in grep, Aharon Robbins, 2011/06/10
- Re: Dealing with character ranges in grep, Aharon Robbins, 2011/06/13
- Re: Dealing with character ranges in grep, Paolo Bonzini, 2011/06/14
- Re: Dealing with character ranges in grep,
Aharon Robbins <=
- Re: Dealing with character ranges in grep, Aharon Robbins, 2011/06/15
- Re: Dealing with character ranges in grep, Paul Eggert, 2011/06/15
- Re: Dealing with character ranges in grep, Eric Blake, 2011/06/15
- Re: Dealing with character ranges in grep, Aharon Robbins, 2011/06/16
- Re: Dealing with character ranges in grep, Paolo Bonzini, 2011/06/27
- Re: Dealing with character ranges in grep, Aharon Robbins, 2011/06/28