|
From: | Antonio Diaz Diaz |
Subject: | Re: zgrep test suite failure |
Date: | Fri, 10 Jul 2020 00:29:25 +0200 |
User-agent: | Mozilla/5.0 (X11; U; Linux i586; en-US; rv:1.9.1.19) Gecko/20110420 SeaMonkey/2.0.14 |
Tobias Geerinckx-Rice wrote:
Thanks for the detailed explanation. Do you think this bug is still worth reporting to GNU grep? Even if it's reverted, it's going to cause few but 'fun' bugs for years to come...
I think it is worth reporting this problem to GNU grep so that they can either revert it or provide a compelling rationale for all grep's to switch to the new behavior. It would be kind of tragic if different grep's were to return different exit values forever.
Best regards, Antonio.
[Prev in Thread] | Current Thread | [Next in Thread] |