1. Summarise the issue (what were doing, what went wrong?)
Now "darcs mark-conflicts" allows to re-do the job that is done
automatically by "pull" (or "unsuspend" or "apply" or similar commands)
whenever one wants to. (Might be useful if the working directory has
However, marking is just one way to treat the conflicts after "pull";
another one is with --external-merge.
"darcs mark-conflicts" does not have this option; so, it's not able to
re-do the job of treating the conflicts in this mode.
2. What behaviour were you expecting instead?
There is a command that allows one to treat the conflicts in any mode
(marking as well as calling an external merge tool) whenever one wants
to. (E.g., after reverting the working dir.)
Git has "git mergetool" to do this whenever one wants, even if one did
forget to set such an option for "merge" etc.
So I suggest to add such an option to "darcs mark-conflicts" (it's
logical as explained in this bug report, though the name would become a
3. What darcs version are you using? (Try: darcs --exact-version)
$ darcs --exact-version
darcs compiled on May 26 2015, at 04:18:50
Guillaume Hoffmann <email@example.com>**20150419200705
I agree that this would be nice. Even nicer (IMHO) would be an
interactive conflict resolution mode where, for each unresolved
conflict, darcs presents me the conflicting (primitive) changes. The
possible actions are:
* select one of the changes (discarding the others)
* select none (i.e. discard all, what you get when you revert the markup)
* markup the conflict for later manual merging; open an editor (like
hunk edit, but with possibly more than one alternative, similar to the
* resolve with an external tool (which one should be configured with an
This should not only be in markup-conflicts, but also in push and pull,
so when a pull leads to conflicts I can resolve them right away.
See also issue2495.