On 06/17/2017 08:24 PM, Paul Eggert wrote:
>
> This would also change the meaning of grep -v --max-count=NUM

After looking into this, my proposal was too drastic. So I am attaching 
a more modest patch that would simply change grep's behavior along the 
lines requested. Athough this is an incompatible change, I think almost 
all users who care about it will prefer the new behavior. If there is a 
problem with it I suppose we could have an option to select the old 
behavior, but I hope it doesn't come to that.