[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#17427: grep -v -l and -v -L fail to early terminate
From: |
Jörn Hees |
Subject: |
bug#17427: grep -v -l and -v -L fail to early terminate |
Date: |
Wed, 7 May 2014 09:17:45 +0200 |
On 7 May 2014, at 09:07, Paul Eggert <address@hidden> wrote:
> How about using -m1?
Ouch :-D, please accept my apologies for not spotting this.
I still think that -m1 should be implied for -v -l and -v -L as it seems to be
implied for -l and -L.
This works:
time grep -v -l -m1 'a b c d' test.tmp
test.tmp
real 0m0.032s
user 0m0.000s
sys 0m0.032s
Cheers,
Jörn