Merge branch 'pr/mergetool'

* pr/mergetool: Open external merge tool with original file extensions for all three files
git-mirror · Dec 9, 2007 · 05e74f4 · 05e74f4
2 parents 9b433e4 + c3d51cd
commit 05e74f4
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/git-mergetool.sh b/git-mergetool.sh
@@ -152,10 +152,11 @@ merge_file () {
 	exit 1
     fi
 
-    BACKUP="$path.BACKUP.$$"
-    LOCAL="$path.LOCAL.$$"
-    REMOTE="$path.REMOTE.$$"
-    BASE="$path.BASE.$$"
+    ext="$$$(expr "$path" : '.*\(\.[^/]*\)$')"
+    BACKUP="$path.BACKUP.$ext"
+    LOCAL="$path.LOCAL.$ext"
+    REMOTE="$path.REMOTE.$ext"
+    BASE="$path.BASE.$ext"
 
     mv -- "$path" "$BACKUP"
     cp -- "$BACKUP" "$path"