mergetools / meldon commit Merge branch 'pw/unquote-path-in-git-pm' into maint (c6767f4)
   1diff_cmd () {
   2        "$merge_tool_path" "$LOCAL" "$REMOTE"
   3}
   4
   5merge_cmd () {
   6        if test -z "${meld_has_output_option:+set}"
   7        then
   8                check_meld_for_output_version
   9        fi
  10
  11        if test "$meld_has_output_option" = true
  12        then
  13                "$merge_tool_path" --output="$MERGED" \
  14                        "$LOCAL" "$BASE" "$REMOTE"
  15        else
  16                "$merge_tool_path" "$LOCAL" "$MERGED" "$REMOTE"
  17        fi
  18}
  19
  20# Check whether we should use 'meld --output <file>'
  21check_meld_for_output_version () {
  22        meld_path="$(git config mergetool.meld.path)"
  23        meld_path="${meld_path:-meld}"
  24
  25        if meld_has_output_option=$(git config --bool mergetool.meld.hasOutput)
  26        then
  27                : use configured value
  28        elif "$meld_path" --help 2>&1 |
  29                grep -e '--output=' -e '\[OPTION\.\.\.\]' >/dev/null
  30        then
  31                : old ones mention --output and new ones just say OPTION...
  32                meld_has_output_option=true
  33        else
  34                meld_has_output_option=false
  35        fi
  36}