On Wed, Aug 16, 2017 at 5:04 PM, Paul Eggert wrote:
> On 08/16/2017 03:04 PM, Anthony Sottile wrote:
>>
>> It was at this point that a git maintainer noticed that `git grep -L`
>> and `grep -L` disagreed in exit codes (deferring my patch until the
>> correct way forward on what `git grep`'s exit c
On 08/16/2017 03:04 PM, Anthony Sottile wrote:
It was at this point that a git maintainer noticed that `git grep -L`
and `grep -L` disagreed in exit codes (deferring my patch until the
correct way forward on what `git grep`'s exit codes should be).
Thanks for the summary. Do you have a URL for t
On Tue, Aug 15, 2017 at 10:15 PM, Paul Eggert wrote:
> Anthony Sottile wrote:
>>
>> # Search is for filenames not containing hi, this search is successful
>> **but it exits 1**
>> $ grep -L hi -- f; echo $?
>> f
>> 1
>> # Search is for filenames not containing hello, this search fails
>> **but it
