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

!MAILaRCHIVE_VOTE_RePLACE
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
To: James Bowes <jbowes@...>
Cc: <git@...>, <junkio@...>, <tytso@...>
Date: Sunday, March 18, 2007 - 8:18 pm

James Bowes <jbowes@dangerouslyinc.com> writes:


The problem description looks correct, but I think the original
meant to reject configuration value for merge_tool that is not
supported with the version of the script (and screwed up).


IOW, wouldn't this be a better way?

        if test -z "$merge_tool"
        then
                merge_tool=`git-config merge.tool`
                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
        fi


-
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)