|
From: | Paul Eggert |
Subject: | Re: egrep as usual utility |
Date: | Tue, 28 Jun 2022 15:50:46 -0500 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.9.1 |
On 6/28/22 15:21, Bruno Haible wrote:
I think it's now time to remove 'egrep' from the list of usual utilities.
Thanks, good suggestion. 'fgrep' too. Proposed patch attached.
make-stds.diff
Description: Text Data
[Prev in Thread] | Current Thread | [Next in Thread] |