1b593e1ea4
git-subtree-dir: third_party/git git-subtree-split: cb715685942260375e1eb8153b0768a376e4ece7
36 lines
843 B
Text
36 lines
843 B
Text
diff_cmd () {
|
|
"$merge_tool_path" "$LOCAL" "$REMOTE"
|
|
}
|
|
|
|
merge_cmd () {
|
|
if test -z "${meld_has_output_option:+set}"
|
|
then
|
|
check_meld_for_output_version
|
|
fi
|
|
|
|
if test "$meld_has_output_option" = true
|
|
then
|
|
"$merge_tool_path" --output="$MERGED" \
|
|
"$LOCAL" "$BASE" "$REMOTE"
|
|
else
|
|
"$merge_tool_path" "$LOCAL" "$MERGED" "$REMOTE"
|
|
fi
|
|
}
|
|
|
|
# Check whether we should use 'meld --output <file>'
|
|
check_meld_for_output_version () {
|
|
meld_path="$(git config mergetool.meld.path)"
|
|
meld_path="${meld_path:-meld}"
|
|
|
|
if meld_has_output_option=$(git config --bool mergetool.meld.hasOutput)
|
|
then
|
|
: use configured value
|
|
elif "$meld_path" --help 2>&1 |
|
|
grep -e '--output=' -e '\[OPTION\.\.\.\]' >/dev/null
|
|
then
|
|
: old ones mention --output and new ones just say OPTION...
|
|
meld_has_output_option=true
|
|
else
|
|
meld_has_output_option=false
|
|
fi
|
|
}
|