From: Jeff King Date: Wed, 26 Jun 2019 18:08:21 GMT Subject: Re: [2.22.0] difftool no longer passes through to git diff if diff.tool is unset Message-ID: <20190626180821.GA23857@sigill.intra.peff.net> In-Reply-To: On Tue, Jun 25, 2019 at 11:09:08PM +0000, Pugh, Logan wrote: > > Or in your case I suppose even better would just be an > > option like "--if-not-configured-just-use-regular-diff". Then it would > > do what you want, without impacting users who do want the interactive > > setup. > > If such an option was considered I would be in favor of it. Maybe call > it "--no-tutorial" or perhaps "--diff-fallback". > > But having fixed my app, I'm content with the status quo too, now. Yeah, those are definitely better names. :) I think we're on the same page about a good path forward, then. I don't plan to work on this myself, but maybe it would be a good #leftoverbits candidate for somebody wanting to get started on modifying Git. -Peff