From: Michael J Gruber <git@drmicha.warpmail.net>
Date: Fri, 18 Feb 2011 09:24:57 GMT
Subject: Re: My git-gui difftool script
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:
> 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