Re: [PATCH] grep: --full-tree

From: Jeff King <peff@peff.net>
Date: Nov 27, 2009, 20:50 UTC
Message-ID: <20091127205004.GA26921@coredump.intra.peff.net>
In-Reply-To: <7vpr73n7ns.fsf@alter.siamese.dyndns.org>

On Fri, Nov 27, 2009 at 10:29:11AM -0800, Junio C Hamano wrote:

> > If only somebody had written a "pager.status" configuration variable,
> > you could use that. Oh wait. I did. And it shipped in v1.6.0.
> 
> Nice try but, "grep" and "status" are apples and oranges comparision.

Yes, I think you are right that the existence of pager.* does not necessarily imply that there should be a config option for grep. But that makes his example even more irrelevant: he is advocating that I use a solution in this instance because he uses it in another instance, when that solution is not even necessary in the other instance (and as I have hopefully already made clear, is in my opinion inferior).

It is probably better to stay on the topic of the grep option, though.

-Peff