Hi, On Wed, 17 Dec 2008, Mike Coleman wrote: > I still find git-diff's unsolicited invocation of $PAGER a bit > jarring, but I also find that I like it. It might have its reason in that it follows the common flow, where interactive use of _any_ diff program is _just useless_ unless piped to a pager. And no, redirecting to a file is not interactive. Can we please stop with those bogus and pointless, not to mention uninformed, discussions about design decisions that have been verified to be useful, or at least not harmful in any way, for a _long_, _long_ time? The git list is high volume already, but at least so far it was high signal/noise ratio. Let's keep it that way, Dscho -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
