On Fri, May 18, 2018 at 02:50:21PM -0700, Taylor Blau wrote: > [...] > > > Another might be to pick "foo" in the first and "bar" in the second > > line, as that is the "first hit" on the line, which is consistent > > with how "git grep -e foo" would say about "a foo b foo c foo" (I > > expect that the leftmost "foo" would be the first hit). So there > > may be multiple, equally plausible answer to the question. > > This is the largest fact in my mind pertaining to this discussion: there > are probably many different interpretations of semantics for this, all > equally valid in their own way. I am partial to the minimum substring > interpretation (which follows naturally from the minimum-start, > maximum-end idea), accepting the shortcoming that `--or` sometimes > doesn't ``do the right thing.'' Ignore this last part. `--or` _does_ do the right thing, as noted below. Thanks, Taylor
