merge.py
462 lines
| 15.2 KiB
| text/x-python
|
PythonLexer
/ mercurial / merge.py
Matt Mackall
|
r2775 | # merge.py - directory-level update/merge handling for Mercurial | ||
# | ||||
# Copyright 2006 Matt Mackall <mpm@selenic.com> | ||||
# | ||||
# This software may be used and distributed according to the terms | ||||
# of the GNU General Public License, incorporated herein by reference. | ||||
from node import * | ||||
from i18n import gettext as _ | ||||
from demandload import * | ||||
Benoit Boissinot
|
r3018 | demandload(globals(), "errno util os tempfile") | ||
Matt Mackall
|
r2775 | |||
Matt Mackall
|
r3211 | def filemerge(repo, fw, fo, fd, my, other, p1, p2, move): | ||
"""perform a 3-way merge in the working directory | ||||
Matt Mackall
|
r2775 | |||
Matt Mackall
|
r3211 | fw = filename in the working directory and first parent | ||
fo = filename in other parent | ||||
fd = destination filename | ||||
my = fileid in first parent | ||||
other = fileid in second parent | ||||
p1, p2 = hex changeset ids for merge command | ||||
move = whether to move or copy the file to the destination | ||||
TODO: | ||||
if fw is copied in the working directory, we get confused | ||||
implement move and fd | ||||
""" | ||||
def temp(prefix, ctx): | ||||
pre = "%s~%s." % (os.path.basename(ctx.path()), prefix) | ||||
Matt Mackall
|
r2775 | (fd, name) = tempfile.mkstemp(prefix=pre) | ||
f = os.fdopen(fd, "wb") | ||||
Matt Mackall
|
r3211 | repo.wwrite(ctx.path(), ctx.data(), f) | ||
Matt Mackall
|
r2775 | f.close() | ||
return name | ||||
Matt Mackall
|
r3211 | fcm = repo.filectx(fw, fileid=my) | ||
fco = repo.filectx(fo, fileid=other) | ||||
fca = fcm.ancestor(fco) | ||||
if not fca: | ||||
fca = repo.filectx(fw, fileid=-1) | ||||
a = repo.wjoin(fw) | ||||
b = temp("base", fca) | ||||
c = temp("other", fco) | ||||
Matt Mackall
|
r2775 | |||
Matt Mackall
|
r3211 | repo.ui.note(_("resolving %s\n") % fw) | ||
repo.ui.debug(_("my %s other %s ancestor %s\n") % (fcm, fco, fca)) | ||||
Matt Mackall
|
r2775 | |||
cmd = (os.environ.get("HGMERGE") or repo.ui.config("ui", "merge") | ||||
or "hgmerge") | ||||
r = util.system('%s "%s" "%s" "%s"' % (cmd, a, b, c), cwd=repo.root, | ||||
Matt Mackall
|
r3211 | environ={'HG_FILE': fw, | ||
Matt Mackall
|
r2775 | 'HG_MY_NODE': p1, | ||
Matt Mackall
|
r3211 | 'HG_OTHER_NODE': p2}) | ||
Matt Mackall
|
r2775 | if r: | ||
Matt Mackall
|
r3211 | repo.ui.warn(_("merging %s failed!\n") % fw) | ||
Matt Mackall
|
r3249 | else: | ||
if fd != fw: | ||||
repo.ui.debug(_("copying %s to %s\n") % (fw, fd)) | ||||
repo.wwrite(fd, repo.wread(fw)) | ||||
if move: | ||||
repo.ui.debug(_("removing %s\n") % fw) | ||||
os.unlink(a) | ||||
Matt Mackall
|
r2775 | |||
os.unlink(b) | ||||
os.unlink(c) | ||||
return r | ||||
Matt Mackall
|
r3218 | def checkunknown(repo, m2, wctx): | ||
Matt Mackall
|
r3107 | """ | ||
check for collisions between unknown files and files in m2 | ||||
""" | ||||
Matt Mackall
|
r3218 | for f in wctx.unknown(): | ||
Matt Mackall
|
r3107 | if f in m2: | ||
if repo.file(f).cmp(m2[f], repo.wread(f)): | ||||
raise util.Abort(_("'%s' already exists in the working" | ||||
" dir and differs from remote") % f) | ||||
Matt Mackall
|
r3218 | def forgetremoved(m2, wctx): | ||
Matt Mackall
|
r3107 | """ | ||
Forget removed files | ||||
If we're jumping between revisions (as opposed to merging), and if | ||||
neither the working directory nor the target rev has the file, | ||||
then we need to remove it from the dirstate, to prevent the | ||||
dirstate from listing the file when it is no longer in the | ||||
manifest. | ||||
""" | ||||
action = [] | ||||
Matt Mackall
|
r3218 | for f in wctx.deleted() + wctx.removed(): | ||
Matt Mackall
|
r3107 | if f not in m2: | ||
action.append((f, "f")) | ||||
return action | ||||
Matt Mackall
|
r3153 | def nonoverlap(d1, d2): | ||
""" | ||||
Return list of elements in d1 not in d2 | ||||
""" | ||||
l = [] | ||||
for d in d1: | ||||
if d not in d2: | ||||
l.append(d) | ||||
l.sort() | ||||
return l | ||||
def findold(fctx, limit): | ||||
""" | ||||
find files that path was copied from, back to linkrev limit | ||||
""" | ||||
old = {} | ||||
orig = fctx.path() | ||||
visit = [fctx] | ||||
while visit: | ||||
fc = visit.pop() | ||||
if fc.rev() < limit: | ||||
continue | ||||
if fc.path() != orig and fc.path() not in old: | ||||
old[fc.path()] = 1 | ||||
visit += fc.parents() | ||||
old = old.keys() | ||||
old.sort() | ||||
return old | ||||
def findcopies(repo, m1, m2, limit): | ||||
""" | ||||
Find moves and copies between m1 and m2 back to limit linkrev | ||||
""" | ||||
Matt Mackall
|
r3249 | if not repo.ui.config("merge", "followcopies"): | ||
return {} | ||||
Matt Mackall
|
r3160 | # avoid silly behavior for update from empty dir | ||
if not m1: | ||||
return {} | ||||
Matt Mackall
|
r3155 | dcopies = repo.dirstate.copies() | ||
Matt Mackall
|
r3153 | copy = {} | ||
match = {} | ||||
u1 = nonoverlap(m1, m2) | ||||
u2 = nonoverlap(m2, m1) | ||||
ctx = util.cachefunc(lambda f,n: repo.filectx(f, fileid=n[:20])) | ||||
def checkpair(c, f2, man): | ||||
''' check if an apparent pair actually matches ''' | ||||
c2 = ctx(f2, man[f2]) | ||||
ca = c.ancestor(c2) | ||||
Matt Mackall
|
r3251 | if ca and ca.path() == c.path() or ca.path() == c2.path(): | ||
Matt Mackall
|
r3153 | copy[c.path()] = f2 | ||
copy[f2] = c.path() | ||||
for f in u1: | ||||
Matt Mackall
|
r3155 | c = ctx(dcopies.get(f, f), m1[f]) | ||
Matt Mackall
|
r3153 | for of in findold(c, limit): | ||
if of in m2: | ||||
checkpair(c, of, m2) | ||||
else: | ||||
match.setdefault(of, []).append(f) | ||||
for f in u2: | ||||
c = ctx(f, m2[f]) | ||||
for of in findold(c, limit): | ||||
if of in m1: | ||||
checkpair(c, of, m1) | ||||
elif of in match: | ||||
for mf in match[of]: | ||||
checkpair(c, mf, m1) | ||||
return copy | ||||
Matt Mackall
|
r3249 | def manifestmerge(ui, m1, m2, ma, copy, overwrite, backwards, partial): | ||
Matt Mackall
|
r3105 | """ | ||
Merge manifest m1 with m2 using ancestor ma and generate merge action list | ||||
""" | ||||
Matt Mackall
|
r3249 | def fmerge(f, f2=None, fa=None): | ||
Matt Mackall
|
r3118 | """merge executable flags""" | ||
Matt Mackall
|
r3249 | if not f2: | ||
f2 = f | ||||
fa = f | ||||
a, b, c = ma.execf(fa), m1.execf(f), m2.execf(f2) | ||||
Matt Mackall
|
r3118 | return ((a^b) | (a^c)) ^ a | ||
Matt Mackall
|
r3105 | action = [] | ||
Matt Mackall
|
r3121 | def act(msg, f, m, *args): | ||
ui.debug(" %s: %s -> %s\n" % (f, msg, m)) | ||||
action.append((f, m) + args) | ||||
Matt Mackall
|
r3105 | # Compare manifests | ||
for f, n in m1.iteritems(): | ||||
Matt Mackall
|
r3248 | if partial and not partial(f): | ||
continue | ||||
Matt Mackall
|
r3105 | if f in m2: | ||
# are files different? | ||||
if n != m2[f]: | ||||
a = ma.get(f, nullid) | ||||
# are both different from the ancestor? | ||||
if not overwrite and n != a and m2[f] != a: | ||||
Matt Mackall
|
r3121 | act("versions differ", f, "m", fmerge(f), n[:20], m2[f]) | ||
Matt Mackall
|
r3105 | # are we clobbering? | ||
# is remote's version newer? | ||||
# or are we going back in time and clean? | ||||
elif overwrite or m2[f] != a or (backwards and not n[20:]): | ||||
Matt Mackall
|
r3121 | act("remote is newer", f, "g", m2.execf(f), m2[f]) | ||
Matt Mackall
|
r3113 | # local is newer, not overwrite, check mode bits | ||
Matt Mackall
|
r3118 | elif fmerge(f) != m1.execf(f): | ||
Matt Mackall
|
r3121 | act("update permissions", f, "e", m2.execf(f)) | ||
Matt Mackall
|
r3113 | # contents same, check mode bits | ||
elif m1.execf(f) != m2.execf(f): | ||||
Matt Mackall
|
r3120 | if overwrite or fmerge(f) != m1.execf(f): | ||
Matt Mackall
|
r3121 | act("update permissions", f, "e", m2.execf(f)) | ||
Matt Mackall
|
r3249 | elif f in copy: | ||
f2 = copy[f] | ||||
if f in ma: # case 3,20 A/B/A | ||||
act("remote moved", | ||||
f, "c", f2, f2, m1[f], m2[f2], fmerge(f, f2, f), True) | ||||
else: | ||||
if f2 in m1: # case 2 A,B/B/B | ||||
act("local copied", | ||||
f, "c", f2, f, m1[f], m2[f2], fmerge(f, f2, f2), False) | ||||
else: # case 4,21 A/B/B | ||||
act("local moved", | ||||
f, "c", f2, f, m1[f], m2[f2], fmerge(f, f2, f2), False) | ||||
Matt Mackall
|
r3105 | elif f in ma: | ||
Matt Mackall
|
r3117 | if n != ma[f] and not overwrite: | ||
Matt Mackall
|
r3119 | if ui.prompt( | ||
Matt Mackall
|
r3117 | (_(" local changed %s which remote deleted\n") % f) + | ||
Matt Mackall
|
r3119 | _("(k)eep or (d)elete?"), _("[kd]"), _("k")) == _("d"): | ||
Matt Mackall
|
r3121 | act("prompt delete", f, "r") | ||
Matt Mackall
|
r3105 | else: | ||
Matt Mackall
|
r3121 | act("other deleted", f, "r") | ||
Matt Mackall
|
r3105 | else: | ||
# file is created on branch or in working directory | ||||
Matt Mackall
|
r3120 | if (overwrite and n[20:] != "u") or (backwards and not n[20:]): | ||
Matt Mackall
|
r3121 | act("remote deleted", f, "r") | ||
Matt Mackall
|
r3105 | |||
for f, n in m2.iteritems(): | ||||
Matt Mackall
|
r3248 | if partial and not partial(f): | ||
continue | ||||
if f in m1: | ||||
continue | ||||
Matt Mackall
|
r3249 | if f in copy: | ||
f2 = copy[f] | ||||
if f2 in ma or f2 in m1: # already seen | ||||
continue | ||||
# rename case 1, A/A,B/A | ||||
act("remote copied", | ||||
f, "c", f2, f, m1[f2], m2[f], fmerge(f2, f, f2), False) | ||||
elif f in ma: | ||||
Matt Mackall
|
r3116 | if overwrite or backwards: | ||
Matt Mackall
|
r3121 | act("recreating", f, "g", m2.execf(f), n) | ||
Matt Mackall
|
r3116 | elif n != ma[f]: | ||
Matt Mackall
|
r3119 | if ui.prompt( | ||
Matt Mackall
|
r3116 | (_("remote changed %s which local deleted\n") % f) + | ||
Matt Mackall
|
r3119 | _("(k)eep or (d)elete?"), _("[kd]"), _("k")) == _("k"): | ||
Matt Mackall
|
r3121 | act("prompt recreating", f, "g", m2.execf(f), n) | ||
Matt Mackall
|
r3115 | else: | ||
Matt Mackall
|
r3121 | act("remote created", f, "g", m2.execf(f), n) | ||
Matt Mackall
|
r3105 | |||
return action | ||||
Matt Mackall
|
r3111 | def applyupdates(repo, action, xp1, xp2): | ||
updated, merged, removed, unresolved = 0, 0, 0, 0 | ||||
action.sort() | ||||
for a in action: | ||||
f, m = a[:2] | ||||
if f[0] == "/": | ||||
continue | ||||
if m == "r": # remove | ||||
repo.ui.note(_("removing %s\n") % f) | ||||
util.audit_path(f) | ||||
try: | ||||
util.unlink(repo.wjoin(f)) | ||||
except OSError, inst: | ||||
if inst.errno != errno.ENOENT: | ||||
repo.ui.warn(_("update failed to remove %s: %s!\n") % | ||||
(f, inst.strerror)) | ||||
removed +=1 | ||||
Matt Mackall
|
r3249 | elif m == "c": # copy | ||
Matt Mackall
|
r3251 | f2, fd, my, other, flag, move = a[2:] | ||
if filemerge(repo, f, f2, fd, my, other, xp1, xp2, move): | ||||
Matt Mackall
|
r3249 | unresolved += 1 | ||
util.set_exec(repo.wjoin(fd), flag) | ||||
merged += 1 | ||||
Matt Mackall
|
r3111 | elif m == "m": # merge | ||
flag, my, other = a[2:] | ||||
repo.ui.status(_("merging %s\n") % f) | ||||
Matt Mackall
|
r3212 | if filemerge(repo, f, f, f, my, other, xp1, xp2, False): | ||
Matt Mackall
|
r3111 | unresolved += 1 | ||
util.set_exec(repo.wjoin(f), flag) | ||||
merged += 1 | ||||
elif m == "g": # get | ||||
flag, node = a[2:] | ||||
repo.ui.note(_("getting %s\n") % f) | ||||
t = repo.file(f).read(node) | ||||
repo.wwrite(f, t) | ||||
util.set_exec(repo.wjoin(f), flag) | ||||
updated += 1 | ||||
elif m == "e": # exec | ||||
flag = a[2:] | ||||
util.set_exec(repo.wjoin(f), flag) | ||||
return updated, merged, removed, unresolved | ||||
def recordupdates(repo, action, branchmerge): | ||||
for a in action: | ||||
f, m = a[:2] | ||||
if m == "r": # remove | ||||
if branchmerge: | ||||
repo.dirstate.update([f], 'r') | ||||
else: | ||||
repo.dirstate.forget([f]) | ||||
elif m == "f": # forget | ||||
repo.dirstate.forget([f]) | ||||
elif m == "g": # get | ||||
if branchmerge: | ||||
repo.dirstate.update([f], 'n', st_mtime=-1) | ||||
else: | ||||
repo.dirstate.update([f], 'n') | ||||
elif m == "m": # merge | ||||
flag, my, other = a[2:] | ||||
if branchmerge: | ||||
# We've done a branch merge, mark this file as merged | ||||
# so that we properly record the merger later | ||||
repo.dirstate.update([f], 'm') | ||||
else: | ||||
# We've update-merged a locally modified file, so | ||||
# we set the dirstate to emulate a normal checkout | ||||
# of that file some time in the past. Thus our | ||||
# merge will appear as a normal local file | ||||
# modification. | ||||
fl = repo.file(f) | ||||
f_len = fl.size(fl.rev(other)) | ||||
repo.dirstate.update([f], 'n', st_size=f_len, st_mtime=-1) | ||||
Matt Mackall
|
r3251 | elif m == "c": # copy | ||
f2, fd, my, other, flag, move = a[2:] | ||||
if branchmerge: | ||||
# We've done a branch merge, mark this file as merged | ||||
# so that we properly record the merger later | ||||
repo.dirstate.update([fd], 'm') | ||||
else: | ||||
# We've update-merged a locally modified file, so | ||||
# we set the dirstate to emulate a normal checkout | ||||
# of that file some time in the past. Thus our | ||||
# merge will appear as a normal local file | ||||
# modification. | ||||
fl = repo.file(f) | ||||
f_len = fl.size(fl.rev(other)) | ||||
repo.dirstate.update([fd], 'n', st_size=f_len, st_mtime=-1) | ||||
if move: | ||||
repo.dirstate.update([f], 'r') | ||||
if f != fd: | ||||
repo.dirstate.copy(f, fd) | ||||
Matt Mackall
|
r3111 | |||
Matt Mackall
|
r2811 | def update(repo, node, branchmerge=False, force=False, partial=None, | ||
Matt Mackall
|
r2815 | wlock=None, show_stats=True, remind=True): | ||
overwrite = force and not branchmerge | ||||
forcemerge = force and branchmerge | ||||
Matt Mackall
|
r2812 | |||
if not wlock: | ||||
wlock = repo.wlock() | ||||
Matt Mackall
|
r2814 | ### check phase | ||
Matt Mackall
|
r3218 | wc = repo.workingctx() | ||
pl = wc.parents() | ||||
Matt Mackall
|
r3167 | if not overwrite and len(pl) > 1: | ||
Matt Mackall
|
r2775 | raise util.Abort(_("outstanding uncommitted merges")) | ||
Matt Mackall
|
r3167 | p1, p2 = pl[0], repo.changectx(node) | ||
pa = p1.ancestor(p2) | ||||
Matt Mackall
|
r2814 | |||
Matt Mackall
|
r2968 | # are we going backwards? | ||
backwards = (pa == p2) | ||||
Matt Mackall
|
r2814 | # is there a linear path from p1 to p2? | ||
Matt Mackall
|
r3110 | if pa == p1 or pa == p2: | ||
if branchmerge: | ||||
raise util.Abort(_("there is nothing to merge, just use " | ||||
"'hg update' or look at 'hg heads'")) | ||||
elif not (overwrite or branchmerge): | ||||
Matt Mackall
|
r2815 | raise util.Abort(_("update spans branches, use 'hg merge' " | ||
Matt Mackall
|
r2814 | "or 'hg update -C' to lose changes")) | ||
if branchmerge and not forcemerge: | ||||
Matt Mackall
|
r3218 | if wc.modified() or wc.added() or wc.removed(): | ||
Matt Mackall
|
r2814 | raise util.Abort(_("outstanding uncommitted changes")) | ||
Matt Mackall
|
r3248 | m1 = wc.manifest() | ||
m2 = p2.manifest() | ||||
Matt Mackall
|
r3167 | ma = pa.manifest() | ||
Matt Mackall
|
r2775 | |||
# resolve the manifest to determine which files | ||||
# we care about merging | ||||
repo.ui.note(_("resolving manifests\n")) | ||||
Matt Mackall
|
r3110 | repo.ui.debug(_(" overwrite %s branchmerge %s partial %s\n") % | ||
(overwrite, branchmerge, bool(partial))) | ||||
Matt Mackall
|
r3167 | repo.ui.debug(_(" ancestor %s local %s remote %s\n") % (p1, p2, pa)) | ||
Matt Mackall
|
r2775 | |||
Matt Mackall
|
r3100 | action = [] | ||
Matt Mackall
|
r3155 | copy = {} | ||
Matt Mackall
|
r3107 | if not force: | ||
Matt Mackall
|
r3218 | checkunknown(repo, m2, wc) | ||
Matt Mackall
|
r3110 | if not branchmerge: | ||
Matt Mackall
|
r3218 | action += forgetremoved(m2, wc) | ||
Matt Mackall
|
r3161 | if not (backwards or overwrite): | ||
Matt Mackall
|
r3167 | copy = findcopies(repo, m1, m2, pa.rev()) | ||
Matt Mackall
|
r3153 | |||
Matt Mackall
|
r3249 | action += manifestmerge(repo.ui, m1, m2, ma, copy, | ||
overwrite, backwards, partial) | ||||
Matt Mackall
|
r2775 | |||
Matt Mackall
|
r2897 | ### apply phase | ||
Matt Mackall
|
r3110 | if not branchmerge: | ||
Matt Mackall
|
r2775 | # we don't need to do any magic, just jump to the new rev | ||
Matt Mackall
|
r3167 | p1, p2 = p2, repo.changectx(nullid) | ||
Matt Mackall
|
r2775 | |||
Matt Mackall
|
r3167 | xp1, xp2 = str(p1), str(p2) | ||
Matt Mackall
|
r3169 | if not p2: xp2 = '' | ||
Matt Mackall
|
r2775 | |||
Matt Mackall
|
r3109 | repo.hook('preupdate', throw=True, parent1=xp1, parent2=xp2) | ||
Matt Mackall
|
r2775 | |||
Matt Mackall
|
r3111 | updated, merged, removed, unresolved = applyupdates(repo, action, xp1, xp2) | ||
Matt Mackall
|
r2899 | |||
# update dirstate | ||||
if not partial: | ||||
Matt Mackall
|
r3247 | recordupdates(repo, action, branchmerge) | ||
Matt Mackall
|
r3167 | repo.dirstate.setparents(p1.node(), p2.node()) | ||
Matt Mackall
|
r2775 | |||
if show_stats: | ||||
Matt Mackall
|
r2977 | stats = ((updated, _("updated")), | ||
Matt Mackall
|
r2980 | (merged - unresolved, _("merged")), | ||
Matt Mackall
|
r2978 | (removed, _("removed")), | ||
Matt Mackall
|
r2980 | (unresolved, _("unresolved"))) | ||
Matt Mackall
|
r2775 | note = ", ".join([_("%d files %s") % s for s in stats]) | ||
repo.ui.status("%s\n" % note) | ||||
Matt Mackall
|
r2811 | if not partial: | ||
Matt Mackall
|
r2810 | if branchmerge: | ||
Matt Mackall
|
r2813 | if unresolved: | ||
Matt Mackall
|
r2775 | repo.ui.status(_("There are unresolved merges," | ||
" you can redo the full merge using:\n" | ||||
" hg update -C %s\n" | ||||
" hg merge %s\n" | ||||
Matt Mackall
|
r3167 | % (p1.rev(), p2.rev()))) | ||
Matt Mackall
|
r2803 | elif remind: | ||
Matt Mackall
|
r2775 | repo.ui.status(_("(branch merge, don't forget to commit)\n")) | ||
Matt Mackall
|
r2813 | elif unresolved: | ||
Matt Mackall
|
r2775 | repo.ui.status(_("There are unresolved merges with" | ||
" locally modified files.\n")) | ||||
Matt Mackall
|
r3109 | repo.hook('update', parent1=xp1, parent2=xp2, error=unresolved) | ||
Matt Mackall
|
r2980 | return unresolved | ||
Matt Mackall
|
r2775 | |||