Re: [PATCH v3] mergetool: Provide an empty file when needed
- From
- Jason Wenger <jcwenger@gmail.com>
- Date
- Jan 20, 2012, 14:03 UTC
- Message-ID
- <CAM6z=4-HfRAjJjnYqfoiYsYjiZJSsbkCaW-VtLWvoeFM0xsB9g@mail.gmail.com>
- In-Reply-To
- <CAJDDKr71Q9ihLZdP1Pu=ebpvX0EPvW-9bN6kZz9MeuhYKZzh+Q@mail.gmail.com>
On Fri, Jan 20, 2012 at 01:53, David Aguilar <davvid@gmail.com> wrote:
Show 7 quoted lines
> On Thu, Jan 19, 2012 at 11:47 PM, David Aguilar <davvid@gmail.com> wrote: >> Some merge tools cannot cope when $LOCAL, $BASE, or $REMOTE >> are missing. $BASE can be missing when two branches >> independently add the same filename. $LOCAL and $REMOTE >> can be missing when a delete/modify conflict occurs. >> >> Provide an empty file to make these tools happy.
This is cleaner, yes -- but is this extra processing on $LOCAL and $REMOTE necessary? Git mergetool doesn't actually call an external mergetool during del/mod conflicts -- instead it goes into an alternate processing and prompts the user interactively whether to take the deleted or modified file. Can these changes be reached? (command line option I'm not aware of?)
--jcw