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

Re: My git-gui difftool script

From
Michael J Gruber <git@drmicha.warpmail.net>
Date
Feb 18, 2011, 09:24 UTC
Message-ID
<4D5E3AE9.7000505@drmicha.warpmail.net>
In-Reply-To
<loom.20110218T091946-265@post.gmane.org>
Chunlin Zhang venit, vidit, dixit 18.02.2011 09:26:
Show 15 quoted lines
> Michael J Gruber <michaeljgruber+gmane <at> fastmail.fm> writes:
> 
>> "git difftool -y $FILENAME"
>>
>> instead of
>>
>> "YOUR_PATH_TO_git_gui_difftool.py $FILENAME"
>>
>> for the command. So I'm just wondering what your new difftool.py does
>> differently from the existing git-difftool.
>>
>> Michael
>>
> ...
> I just found that I am reinventing the wheel and it is a worse wheel.

You have taught me about git-gui's Tools menu which I didn't know before. So we both learned something :)

> I suggest this should be integrated into git-gui.

Sounds fine with me, although the flexibility of difftool may prevent having a sane default for "use terminal".

Michael
Previous: Chunlin Zhang
Message 6 of 6 in “My git-gui difftool script”
  1. Chunlin ZhangFeb 17, 2011
  2. Michael J GruberFeb 17, 2011
  3. Chunlin ZhangFeb 18, 2011
  4. Michael J GruberFeb 18, 2011
  5. Chunlin ZhangFeb 18, 2011
  6. Michael J GruberFeb 18, 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.