mirror of
https://github.com/git/git.git
synced 2024-05-19 05:56:30 +02:00
284a126c3e
DeltaWalker is a non-free tool popular among some users. Add a plug-in to support it from difftool and mergetool. Note that the $(pwd)/ in front of $MERGED should not be necessary. However without it, DeltaWalker crashes with a JRE exception. Signed-off-by: Tim Henigan <tim.henigan@gmail.com> Helped-by: David Aguilar <davvid@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>
22 lines
628 B
Plaintext
22 lines
628 B
Plaintext
diff_cmd () {
|
|
"$merge_tool_path" "$LOCAL" "$REMOTE" >/dev/null 2>&1
|
|
}
|
|
|
|
merge_cmd () {
|
|
# Adding $(pwd)/ in front of $MERGED should not be necessary.
|
|
# However without it, DeltaWalker (at least v1.9.8 on Windows)
|
|
# crashes with a JRE exception. The DeltaWalker user manual,
|
|
# shows $(pwd)/ whenever the '-merged' options is given.
|
|
# Adding it here seems to work around the problem.
|
|
if $base_present
|
|
then
|
|
"$merge_tool_path" "$LOCAL" "$REMOTE" "$BASE" -merged="$(pwd)/$MERGED"
|
|
else
|
|
"$merge_tool_path" "$LOCAL" "$REMOTE" -merged="$(pwd)/$MERGED"
|
|
fi >/dev/null 2>&1
|
|
}
|
|
|
|
translate_merge_tool_path() {
|
|
echo DeltaWalker
|
|
}
|