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

Re: [PATCH] mergetool--lib: add diffmerge as a pre-configured mergetool option

From
Junio C Hamano <gitster@pobox.com>
Date
Aug 16, 2011, 17:43 UTC
Message-ID
<7v8vqti763.fsf@alter.siamese.dyndns.org>
In-Reply-To
<20110816100949.GA10859@gmail.com>
David Aguilar <davvid@gmail.com> writes:
> Is it okay if we install the files into
> $(git --exec-path)/mergetools/ instead?
Surely, and thanks.
It is much better than "$(git --exec-path)/mergetools--$backend" ;-).
Previous: David Aguilar
Message 7 of 7 in “mergetool--lib: add diffmerge as a pre-configured mergetool option”
  1. mergetool--lib: add diffmerge as a pre-configured mergetool optionJay Soffian, Dec 8, 2009
  2. Charles BaileyDec 9, 2009
  3. Jay SoffianDec 9, 2009
  4. Junio C HamanoDec 10, 2009
  5. Jay SoffianDec 10, 2009
  6. David AguilarAug 16, 2011
  7. Junio C HamanoAug 16, 2011

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.