[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: |
Thu, 16 Jun 2011 22:09:04 +0300 |
User-agent: |
Heirloom mailx 12.4 7/29/08 |
Hi.
> From: Jim Meyering <address@hidden>
> To: Bruno Haible <address@hidden>
> Cc: Paolo Bonzini <address@hidden>, Aharon Robbins <address@hidden>,
> address@hidden, bug-grep <address@hidden>, address@hidden
> Subject: Re: Dealing with character ranges in grep
> Date: Thu, 16 Jun 2011 07:58:05 +0200
>
> To make this proposed change go through, that configure-time option would
> have to be eliminated, so that we always build with the gnulib-provided
> regex code.
Gawk already works this way, FWIW. I think the gain in consistent
behavior across Linuxes and non-Linux systems is worth the small cost
of increased executable sizes. We're not talking about 100 M disks
anymore.
:-)
Thanks,
Arnold
- Re: Dealing with character ranges in grep, (continued)
- Re: Dealing with character ranges in grep, Johannes Meixner, 2011/06/16
- Re: Dealing with character ranges in grep, Jim Meyering, 2011/06/16
- Re: Dealing with character ranges in grep, Stanislav Brabec, 2011/06/16
- Re: Dealing with character ranges in grep, Johannes Meixner, 2011/06/16
- Re: Dealing with character ranges in grep, Stanislav Brabec, 2011/06/16
- Re: Dealing with character ranges in grep, Johannes Meixner, 2011/06/16
- Re: Dealing with character ranges in grep,
Aharon Robbins <=
- 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, 2011/06/10
Re: Dealing with character ranges in grep, Paul Eggert, 2011/06/09