mergetools / meldon commit Merge branch 'jk/decimal-width-for-uintmax' (ca00db0)
   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        touch "$BACKUP"
  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        check_unchanged
  19}
  20
  21# Check whether we should use 'meld --output <file>'
  22check_meld_for_output_version () {
  23        meld_path="$(git config mergetool.meld.path)"
  24        meld_path="${meld_path:-meld}"
  25
  26        if meld_has_output_option=$(git config --bool mergetool.meld.hasOutput)
  27        then
  28                : use configured value
  29        elif "$meld_path" --help 2>&1 |
  30                grep -e '--output=' -e '\[OPTION\.\.\.\]' >/dev/null
  31        then
  32                : old ones mention --output and new ones just say OPTION...
  33                meld_has_output_option=true
  34        else
  35                meld_has_output_option=false
  36        fi
  37}