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 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html