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

!MAILaRCHIVE_VOTE_RePLACE
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
To: Junio C Hamano <junkio@...>
Cc: <git@...>, <tytso@...>
Date: Sunday, March 18, 2007 - 9:11 pm

On 3/18/07, Junio C Hamano <junkio@cox.net> wrote:

There's a bit later on in mergetool that errors out if you have
provided an unknown merge program (either via the command line or
through your config). The command line and the config ways should
probably behave the same, eh? If so, the case block should be brought
up one level like so:

           fi
          case "$merge_tool" in
          kdiff3 | tkdiff | xxdiff | meld | emerge)
                     ;; # happy
          *)
                     echo >&2 "We do not know how to drive $merge_tool"
                     echo >&2 "Resetting to default..."
                     unset merge_tool
                     ;;
          esac

And then remove the 'Unknown mergetool' bit.

I think either way is fine since they both let you know that you've
entered gobbledeegook or forgot to install something, so I'll defer to
you all for the choice on which way to go.

-James
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]

Messages in current thread:
[PATCH] mergetool: Use merge.tool config option., James Bowes, (Sun Mar 18, 12:13 pm)
Re: [PATCH] mergetool: Use merge.tool config option., Junio C Hamano, (Sun Mar 18, 8:18 pm)
Re: [PATCH] mergetool: Use merge.tool config option., James Bowes, (Sun Mar 18, 9:11 pm)
Re: [PATCH] mergetool: Use merge.tool config option., Theodore Tso, (Sun Mar 18, 10:32 pm)
Re: [PATCH] mergetool: Use merge.tool config option., Junio C Hamano, (Mon Mar 19, 12:09 am)