[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, 28 Jun 2011 20:41:11 +0300 |
User-agent: |
Heirloom mailx 12.4 7/29/08 |
> Date: Mon, 27 Jun 2011 15:10:43 +0200
> From: Paolo Bonzini <address@hidden>
> To: Aharon Robbins <address@hidden>
> CC: address@hidden, address@hidden, address@hidden,
> address@hidden, address@hidden
> Subject: Re: Dealing with character ranges in grep
>
> On 06/16/2011 09:06 PM, Aharon Robbins wrote:
> > I have already corresponded with Chet. He plans to add a shell option
> > to enable RRI, and we can hope that at some point, it might become the
> > default. So that has already been started.
>
> I'd do the other way round---make it the default, and add a shell option
> to disable RRI. Possibly do not even add options. As the regex case
> shows, sometimes tweaks are unnecessary bloat.
This is his choice - as he put it to me, he will be "sacrificed on the
altar of backwards compatibility" no matter what he chooses to do. So
an option puts the behavior into the hands of the users.
Arnold
- Re: Dealing with character ranges in grep, (continued)
- 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
- Re: Dealing with character ranges in grep, Paolo Bonzini, 2011/06/27
- Re: Dealing with character ranges in grep,
Aharon Robbins <=