From: Johannes Schindelin Date: Sun, 29 Nov 2009 10:21:06 GMT Subject: Re: [PATCH] grep: --full-tree Message-ID: In-Reply-To: <20091127205004.GA26921@coredump.intra.peff.net> Hi, On Fri, 27 Nov 2009, Jeff King wrote: > 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). Sorry, no, you got it all wrong. My point was that your config option introduced something _BAD_. And my point was that now, as a consequence of having managed to put it into Git, you want more of such bad stuff. You continue to ignore that inconsistency -- even if it is introduced with the best of all intentions -- is bad, bad, bad. But I guess that I continue to get ignored, Dscho