git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [2.22.0] difftool no longer passes through to git diff if diff.tool is unset

From
Jeff King <peff@peff.net>
Date
Jun 26, 2019, 18:08 UTC
Message-ID
<20190626180821.GA23857@sigill.intra.peff.net>
In-Reply-To
<BL0PR0901MB4466FF7338C085ADBBF594898AE30@BL0PR0901MB4466.namprd09.prod.outlook.com>
On Tue, Jun 25, 2019 at 11:09:08PM +0000, Pugh, Logan wrote:
Show 9 quoted lines
> > 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
Previous: Pugh, Logan
Message 8 of 8 in “[2.22.0] difftool no longer passes through to git diff if diff.tool is unset”
  1. Pugh, LoganJun 19, 2019
  2. Denton LiuJun 20, 2019
  3. Denton LiuJun 20, 2019
  4. Jeff KingJun 20, 2019
  5. Pugh, LoganJun 20, 2019
  6. Jeff KingJun 25, 2019
  7. Pugh, LoganJun 25, 2019
  8. Jeff KingJun 26, 2019

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.