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

[PATCH] mergetool: Use merge.tool config option.

From
James Bowes <jbowes@dangerouslyinc.com>
Date
Mar 18, 2007, 16:13 UTC
Message-ID
<11742343911678-git-send-email-jbowes@dangerouslyinc.com>

If no merge program was supplied on the commandline, and the config option merge.tool was set to a valid value, then mergetool would unset $merge_tool and instead try to find an installed merge program. This patch removes the code that unset $merge_tool, so the merge.tool config option will always be used, if set.

Signed-off-by: James Bowes <jbowes@dangerouslyinc.com>
---
 git-mergetool.sh |    4 ----
 1 files changed, 0 insertions(+), 4 deletions(-)
diff --git a/git-mergetool.sh b/git-mergetool.sh
index 52386a5..19788a1 100755
--- a/git-mergetool.sh
+++ b/git-mergetool.sh
@@ -288,10 +288,6 @@ done
 
 if test -z "$merge_tool"; then
     merge_tool=`git-config merge.tool`
-    if test $merge_tool = kdiff3 -o $merge_tool = tkdiff -o \
-	$merge_tool = xxdiff -o $merge_tool = meld ; then
-	unset merge_tool
-    fi
 fi
 
 if test -z "$merge_tool" ; then
-- 
1.5.0.3
Next: Junio C Hamano
Message 1 of 5 in “mergetool: Use merge.tool config option.”
  1. mergetool: Use merge.tool config option.James Bowes, Mar 18, 2007
  2. Junio C HamanoMar 19, 2007
  3. James BowesMar 19, 2007
  4. Theodore TsoMar 19, 2007
  5. Junio C HamanoMar 19, 2007

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.