git.99rst.org / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cec99d8)
Open external merge tool with original file extensions for all three files
authorPini Reznik <redacted>
Wed, 5 Dec 2007 07:19:13 +0000 (09:19 +0200)
committerJunio C Hamano <redacted>
Thu, 6 Dec 2007 02:43:20 +0000 (18:43 -0800)
commitc3d51cd16a8db417b89608a37410cf3bf8a5b137
tree16e7e38e654ab729ef4cf70595144ded07b7eddftree | snapshot
parentcec99d8cef12d18c71b277a4cd6963d37b13e901commit | diff
Open external merge tool with original file extensions for all three files

Before this change, conflicted files were open in external merge tool with
temporary filenames like REMOTE.$$ and LOCAL.$$.  This way meld was unable
to recognize these files and syntax highlighting feature was unusable.

Help such merge tools by giving temporar files the same extension as the
original.

Signed-off-by: Pini Reznik <redacted>
Signed-off-by: Junio C Hamano <redacted>
git-mergetool.sh diff | blob | history
git clone https://git.99rst.org/PROJECT