[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Dealing with character ranges in grep
From: |
Karl Berry |
Subject: |
Re: Dealing with character ranges in grep |
Date: |
Fri, 10 Jun 2011 23:49:48 GMT |
I guess I don't follow the purpose of involving glibc now. Because
whatever changes they might or might not agree to make, they obviously
won't reach user systems for years. So for anyone to make use of the
new options, it all has to be implemented in gnulib regex anyway. If
the goal is to minimize the changes (certainly desirable, of course),
could make proposals to glibc afterwards?
I have the impression that we all agree that the best change, in theory,
would be to support equivalence classes along with rational range
interpretation (RRI :).
However, I suspect that isn't implementable in a reasonable time frame
for gawk4. That's ok; Arnold can always use the code he's got now.
Beyond that, is it reasonably implementable at all in gnulib?
Sorry if I'm being dumb here ...
k
- Re: Dealing with character ranges in grep, (continued)
- Re: Dealing with character ranges in grep, Jim Meyering, 2011/06/16
- Re: Dealing with character ranges in grep, Johannes Meixner, 2011/06/17
- Re: Dealing with character ranges in grep, Jim Meyering, 2011/06/17
- Re: Dealing with character ranges in grep, Paolo Bonzini, 2011/06/27
- proposal: make [A-Z] range handling locale-independent, Jim Meyering, 2011/06/16
- 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, Jim Meyering, 2011/06/27
Re: Dealing with character ranges in grep,
Karl Berry <=
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, 2011/06/14
- 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