[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Grep-devel] grep: die more systematically (grep-devel suitable?)
|
From: |
Paul Eggert |
|
Subject: |
Re: [Grep-devel] grep: die more systematically (grep-devel suitable?) |
|
Date: |
Tue, 4 Oct 2016 12:19:47 -0700 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.3.0 |
On 10/04/2016 10:23 AM, Jim Meyering wrote:
Are you planning to move that to gnulib?
Hadn't planned on it, though could do that after grep stews for a bit.
The name 'die' is likely to collide with usage elsewhere, as are other
obvious candidates like 'fatal_error'. Perhaps we should give it a name
more likely to be unique? 'dierror', say?
On the other hand, I suppose Perl fans will quickly grok 'die'....