merge.py
1542 lines
| 56.4 KiB
| text/x-python
|
PythonLexer
/ mercurial / merge.py
|
r2775 | # merge.py - directory-level update/merge handling for Mercurial | ||
# | ||||
|
r4635 | # Copyright 2006, 2007 Matt Mackall <mpm@selenic.com> | ||
|
r2775 | # | ||
|
r8225 | # This software may be used and distributed according to the terms of the | ||
|
r10263 | # GNU General Public License version 2 or any later version. | ||
|
r2775 | |||
|
r25959 | from __future__ import absolute_import | ||
import errno | ||||
import os | ||||
import shutil | ||||
|
r20590 | import struct | ||
|
r25959 | from .i18n import _ | ||
from .node import ( | ||||
bin, | ||||
hex, | ||||
|
r27031 | nullhex, | ||
|
r25959 | nullid, | ||
nullrev, | ||||
) | ||||
from . import ( | ||||
copies, | ||||
|
r26570 | destutil, | ||
|
r26587 | error, | ||
|
r25959 | filemerge, | ||
obsolete, | ||||
subrepo, | ||||
util, | ||||
worker, | ||||
) | ||||
|
r6512 | |||
|
r20590 | _pack = struct.pack | ||
_unpack = struct.unpack | ||||
|
r20593 | def _droponode(data): | ||
# used for compatibility for v1 | ||||
|
r23380 | bits = data.split('\0') | ||
|
r20593 | bits = bits[:-2] + bits[-1:] | ||
|
r23380 | return '\0'.join(bits) | ||
|
r20593 | |||
|
r6512 | class mergestate(object): | ||
|
r20590 | '''track 3-way merge state of individual files | ||
|
r27022 | The merge state is stored on disk when needed. Two files are used: one with | ||
an old format (version 1), and one with a new format (version 2). Version 2 | ||||
stores a superset of the data in version 1, including new kinds of records | ||||
in the future. For more about the new format, see the documentation for | ||||
`_readrecordsv2`. | ||||
|
r20590 | |||
|
r27022 | Each record can contain arbitrary content, and has an associated type. This | ||
`type` should be a letter. If `type` is uppercase, the record is mandatory: | ||||
versions of Mercurial that don't support it should abort. If `type` is | ||||
lowercase, the record can be safely ignored. | ||||
|
r20590 | |||
|
r27022 | Currently known records: | ||
|
r20590 | |||
L: the node of the "local" part of the merge (hexified version) | ||||
|
r20591 | O: the node of the "other" part of the merge (hexified version) | ||
|
r20590 | F: a file to be merged entry | ||
|
r27031 | C: a change/delete or delete/change conflict | ||
|
r26650 | D: a file that the external merge driver will merge internally | ||
(experimental) | ||||
|
r26649 | m: the external merge driver defined for this merge plus its run state | ||
(experimental) | ||||
|
r27027 | X: unsupported mandatory record type (used in tests) | ||
x: unsupported advisory record type (used in tests) | ||||
|
r26649 | |||
Merge driver run states (experimental): | ||||
u: driver-resolved files unmarked -- needs to be run next time we're about | ||||
to resolve or commit | ||||
m: driver-resolved files marked -- only needs to be run before commit | ||||
s: success/skipped -- does not need to be run any more | ||||
|
r27022 | |||
|
r20590 | ''' | ||
|
r23380 | statepathv1 = 'merge/state' | ||
statepathv2 = 'merge/state2' | ||||
|
r20651 | |||
|
r26987 | @staticmethod | ||
def clean(repo, node=None, other=None): | ||||
"""Initialize a brand new merge state, removing any existing state on | ||||
disk.""" | ||||
ms = mergestate(repo) | ||||
ms.reset(node, other) | ||||
return ms | ||||
|
r26991 | @staticmethod | ||
def read(repo): | ||||
"""Initialize the merge state, reading it from disk.""" | ||||
ms = mergestate(repo) | ||||
|
r27005 | ms._read() | ||
|
r26991 | return ms | ||
|
r6512 | def __init__(self, repo): | ||
|
r27005 | """Initialize the merge state. | ||
Do not use this directly! Instead call read() or clean().""" | ||||
|
r6512 | self._repo = repo | ||
|
r12369 | self._dirty = False | ||
|
r20651 | |||
|
r20591 | def reset(self, node=None, other=None): | ||
|
r6512 | self._state = {} | ||
|
r21261 | self._local = None | ||
self._other = None | ||||
|
r27130 | for var in ('localctx', 'otherctx'): | ||
if var in vars(self): | ||||
delattr(self, var) | ||||
|
r7848 | if node: | ||
self._local = node | ||||
|
r20591 | self._other = other | ||
|
r26768 | self._readmergedriver = None | ||
|
r26769 | if self.mergedriver: | ||
self._mdstate = 's' | ||||
else: | ||||
self._mdstate = 'u' | ||||
|
r23380 | shutil.rmtree(self._repo.join('merge'), True) | ||
|
r27074 | self._results = {} | ||
|
r12369 | self._dirty = False | ||
|
r20651 | |||
|
r6518 | def _read(self): | ||
|
r20652 | """Analyse each record content to restore a serialized state from disk | ||
This function process "record" entry produced by the de-serialization | ||||
of on disk file. | ||||
""" | ||||
|
r6518 | self._state = {} | ||
|
r21261 | self._local = None | ||
self._other = None | ||||
|
r27130 | for var in ('localctx', 'otherctx'): | ||
if var in vars(self): | ||||
delattr(self, var) | ||||
|
r26768 | self._readmergedriver = None | ||
|
r26769 | self._mdstate = 's' | ||
|
r26986 | unsupported = set() | ||
|
r20589 | records = self._readrecords() | ||
for rtype, record in records: | ||||
if rtype == 'L': | ||||
self._local = bin(record) | ||||
|
r20591 | elif rtype == 'O': | ||
self._other = bin(record) | ||||
|
r26649 | elif rtype == 'm': | ||
bits = record.split('\0', 1) | ||||
mdstate = bits[1] | ||||
if len(mdstate) != 1 or mdstate not in 'ums': | ||||
# the merge driver should be idempotent, so just rerun it | ||||
mdstate = 'u' | ||||
|
r26768 | self._readmergedriver = bits[0] | ||
|
r26649 | self._mdstate = mdstate | ||
|
r27031 | elif rtype in 'FDC': | ||
|
r23380 | bits = record.split('\0') | ||
|
r20589 | self._state[bits[0]] = bits[1:] | ||
elif not rtype.islower(): | ||||
|
r26986 | unsupported.add(rtype) | ||
|
r27074 | self._results = {} | ||
|
r20589 | self._dirty = False | ||
|
r20651 | |||
|
r26986 | if unsupported: | ||
raise error.UnsupportedMergeRecords(unsupported) | ||||
|
r20589 | def _readrecords(self): | ||
|
r20652 | """Read merge state from disk and return a list of record (TYPE, data) | ||
|
r21024 | We read data from both v1 and v2 files and decide which one to use. | ||
|
r20652 | |||
|
r21024 | V1 has been used by version prior to 2.9.1 and contains less data than | ||
v2. We read both versions and check if no data in v2 contradicts | ||||
|
r20652 | v1. If there is not contradiction we can safely assume that both v1 | ||
and v2 were written at the same time and use the extract data in v2. If | ||||
there is contradiction we ignore v2 content as we assume an old version | ||||
|
r21024 | of Mercurial has overwritten the mergestate file and left an old v2 | ||
|
r20652 | file around. | ||
returns list of record [(TYPE, data), ...]""" | ||||
|
r20590 | v1records = self._readrecordsv1() | ||
v2records = self._readrecordsv2() | ||||
|
r26500 | if self._v1v2match(v1records, v2records): | ||
return v2records | ||||
else: | ||||
# v1 file is newer than v2 file, use it | ||||
# we have to infer the "other" changeset of the merge | ||||
# we cannot do better than that with v1 of the format | ||||
mctx = self._repo[None].parents()[-1] | ||||
v1records.append(('O', mctx.hex())) | ||||
# add place holder "other" file node information | ||||
# nobody is using it yet so we do no need to fetch the data | ||||
# if mctx was wrong `mctx[bits[-2]]` may fails. | ||||
for idx, r in enumerate(v1records): | ||||
if r[0] == 'F': | ||||
bits = r[1].split('\0') | ||||
bits.insert(-2, '') | ||||
v1records[idx] = (r[0], '\0'.join(bits)) | ||||
return v1records | ||||
def _v1v2match(self, v1records, v2records): | ||||
|
r20593 | oldv2 = set() # old format version of v2 record | ||
for rec in v2records: | ||||
if rec[0] == 'L': | ||||
oldv2.add(rec) | ||||
elif rec[0] == 'F': | ||||
# drop the onode data (not contained in v1) | ||||
oldv2.add(('F', _droponode(rec[1]))) | ||||
for rec in v1records: | ||||
if rec not in oldv2: | ||||
|
r26500 | return False | ||
|
r20590 | else: | ||
|
r26500 | return True | ||
|
r20651 | |||
|
r20590 | def _readrecordsv1(self): | ||
|
r20652 | """read on disk merge state for version 1 file | ||
returns list of record [(TYPE, data), ...] | ||||
Note: the "F" data from this file are one entry short | ||||
(no "other file node" entry) | ||||
""" | ||||
|
r20589 | records = [] | ||
|
r6518 | try: | ||
|
r23877 | f = self._repo.vfs(self.statepathv1) | ||
|
r6530 | for i, l in enumerate(f): | ||
if i == 0: | ||||
|
r20589 | records.append(('L', l[:-1])) | ||
|
r6530 | else: | ||
|
r20589 | records.append(('F', l[:-1])) | ||
|
r13400 | f.close() | ||
|
r25660 | except IOError as err: | ||
|
r6518 | if err.errno != errno.ENOENT: | ||
raise | ||||
|
r20589 | return records | ||
|
r20651 | |||
|
r20590 | def _readrecordsv2(self): | ||
|
r20652 | """read on disk merge state for version 2 file | ||
|
r27022 | This format is a list of arbitrary records of the form: | ||
[type][length][content] | ||||
`type` is a single character, `length` is a 4 byte integer, and | ||||
`content` is an arbitrary byte sequence of length `length`. | ||||
|
r27027 | Mercurial versions prior to 3.7 have a bug where if there are | ||
unsupported mandatory merge records, attempting to clear out the merge | ||||
state with hg update --clean or similar aborts. The 't' record type | ||||
works around that by writing out what those versions treat as an | ||||
advisory record, but later versions interpret as special: the first | ||||
character is the 'real' record type and everything onwards is the data. | ||||
|
r27022 | Returns list of records [(TYPE, data), ...].""" | ||
|
r20590 | records = [] | ||
try: | ||||
|
r23877 | f = self._repo.vfs(self.statepathv2) | ||
|
r20590 | data = f.read() | ||
off = 0 | ||||
end = len(data) | ||||
while off < end: | ||||
rtype = data[off] | ||||
off += 1 | ||||
|
r20607 | length = _unpack('>I', data[off:(off + 4)])[0] | ||
|
r20590 | off += 4 | ||
|
r20607 | record = data[off:(off + length)] | ||
off += length | ||||
|
r27027 | if rtype == 't': | ||
rtype, record = record[0], record[1:] | ||||
|
r20590 | records.append((rtype, record)) | ||
f.close() | ||||
|
r25660 | except IOError as err: | ||
|
r20590 | if err.errno != errno.ENOENT: | ||
raise | ||||
return records | ||||
|
r20651 | |||
|
r26649 | @util.propertycache | ||
def mergedriver(self): | ||||
|
r26768 | # protect against the following: | ||
# - A configures a malicious merge driver in their hgrc, then | ||||
# pauses the merge | ||||
# - A edits their hgrc to remove references to the merge driver | ||||
# - A gives a copy of their entire repo, including .hg, to B | ||||
# - B inspects .hgrc and finds it to be clean | ||||
# - B then continues the merge and the malicious merge driver | ||||
# gets invoked | ||||
configmergedriver = self._repo.ui.config('experimental', 'mergedriver') | ||||
if (self._readmergedriver is not None | ||||
and self._readmergedriver != configmergedriver): | ||||
raise error.ConfigError( | ||||
_("merge driver changed since merge started"), | ||||
hint=_("revert merge driver change or abort merge")) | ||||
return configmergedriver | ||||
|
r26765 | @util.propertycache | ||
|
r27130 | def localctx(self): | ||
if self._local is None: | ||||
raise RuntimeError("localctx accessed but self._local isn't set") | ||||
return self._repo[self._local] | ||||
@util.propertycache | ||||
|
r26765 | def otherctx(self): | ||
|
r27129 | if self._other is None: | ||
raise RuntimeError("localctx accessed but self._local isn't set") | ||||
|
r26765 | return self._repo[self._other] | ||
|
r26649 | |||
|
r21264 | def active(self): | ||
"""Whether mergestate is active. | ||||
Returns True if there appears to be mergestate. This is a rough proxy | ||||
for "is a merge in progress." | ||||
""" | ||||
# Check local variables before looking at filesystem for performance | ||||
# reasons. | ||||
return bool(self._local) or bool(self._state) or \ | ||||
|
r23877 | self._repo.vfs.exists(self.statepathv1) or \ | ||
self._repo.vfs.exists(self.statepathv2) | ||||
|
r21264 | |||
|
r12369 | def commit(self): | ||
|
r20652 | """Write current state on disk (if necessary)""" | ||
|
r12369 | if self._dirty: | ||
|
r27006 | records = self._makerecords() | ||
|
r20589 | self._writerecords(records) | ||
|
r12369 | self._dirty = False | ||
|
r20651 | |||
|
r27006 | def _makerecords(self): | ||
records = [] | ||||
records.append(('L', hex(self._local))) | ||||
records.append(('O', hex(self._other))) | ||||
if self.mergedriver: | ||||
records.append(('m', '\0'.join([ | ||||
self.mergedriver, self._mdstate]))) | ||||
for d, v in self._state.iteritems(): | ||||
if v[0] == 'd': | ||||
records.append(('D', '\0'.join([d] + v))) | ||||
|
r27031 | # v[1] == local ('cd'), v[6] == other ('dc') -- not supported by | ||
# older versions of Mercurial | ||||
elif v[1] == nullhex or v[6] == nullhex: | ||||
records.append(('C', '\0'.join([d] + v))) | ||||
|
r27006 | else: | ||
records.append(('F', '\0'.join([d] + v))) | ||||
return records | ||||
|
r20589 | def _writerecords(self, records): | ||
|
r20652 | """Write current state on disk (both v1 and v2)""" | ||
|
r20590 | self._writerecordsv1(records) | ||
self._writerecordsv2(records) | ||||
|
r20651 | |||
|
r20590 | def _writerecordsv1(self, records): | ||
|
r20652 | """Write current state on disk in a version 1 file""" | ||
|
r23877 | f = self._repo.vfs(self.statepathv1, 'w') | ||
|
r20589 | irecords = iter(records) | ||
lrecords = irecords.next() | ||||
assert lrecords[0] == 'L' | ||||
|
r23380 | f.write(hex(self._local) + '\n') | ||
|
r20589 | for rtype, data in irecords: | ||
|
r23380 | if rtype == 'F': | ||
f.write('%s\n' % _droponode(data)) | ||||
|
r20589 | f.close() | ||
|
r20651 | |||
|
r20590 | def _writerecordsv2(self, records): | ||
|
r27027 | """Write current state on disk in a version 2 file | ||
See the docstring for _readrecordsv2 for why we use 't'.""" | ||||
# these are the records that all version 2 clients can read | ||||
whitelist = 'LOF' | ||||
|
r23877 | f = self._repo.vfs(self.statepathv2, 'w') | ||
|
r20590 | for key, data in records: | ||
assert len(key) == 1 | ||||
|
r27027 | if key not in whitelist: | ||
key, data = 't', '%s%s' % (key, data) | ||||
|
r23380 | format = '>sI%is' % len(data) | ||
|
r20590 | f.write(_pack(format, key, len(data), data)) | ||
f.close() | ||||
|
r20651 | |||
|
r18338 | def add(self, fcl, fco, fca, fd): | ||
|
r20652 | """add a new (potentially?) conflicting file the merge state | ||
fcl: file context for local, | ||||
fco: file context for remote, | ||||
fca: file context for ancestors, | ||||
fd: file path of the resulting merge. | ||||
note: also write the local version to the `.hg/merge` directory. | ||||
""" | ||||
|
r27049 | if fcl.isabsent(): | ||
hash = nullhex | ||||
else: | ||||
hash = util.sha1(fcl.path()).hexdigest() | ||||
self._repo.vfs.write('merge/' + hash, fcl.data()) | ||||
|
r20593 | self._state[fd] = ['u', hash, fcl.path(), | ||
fca.path(), hex(fca.filenode()), | ||||
fco.path(), hex(fco.filenode()), | ||||
fcl.flags()] | ||||
|
r12369 | self._dirty = True | ||
|
r20651 | |||
|
r6512 | def __contains__(self, dfile): | ||
return dfile in self._state | ||||
|
r20651 | |||
|
r6512 | def __getitem__(self, dfile): | ||
|
r6518 | return self._state[dfile][0] | ||
|
r20651 | |||
|
r6518 | def __iter__(self): | ||
|
r21268 | return iter(sorted(self._state)) | ||
|
r20651 | |||
|
r19285 | def files(self): | ||
return self._state.keys() | ||||
|
r20651 | |||
|
r6512 | def mark(self, dfile, state): | ||
|
r6518 | self._state[dfile][0] = state | ||
|
r12369 | self._dirty = True | ||
|
r20651 | |||
|
r26766 | def mdstate(self): | ||
return self._mdstate | ||||
|
r21266 | def unresolved(self): | ||
"""Obtain the paths of unresolved files.""" | ||||
for f, entry in self._state.items(): | ||||
if entry[0] == 'u': | ||||
yield f | ||||
|
r26740 | def driverresolved(self): | ||
"""Obtain the paths of driver-resolved files.""" | ||||
for f, entry in self._state.items(): | ||||
if entry[0] == 'd': | ||||
yield f | ||||
|
r26617 | def _resolve(self, preresolve, dfile, wctx, labels=None): | ||
|
r20652 | """rerun merge process for file path `dfile`""" | ||
|
r26651 | if self[dfile] in 'rd': | ||
|
r27075 | return True, 0 | ||
|
r20593 | stateentry = self._state[dfile] | ||
state, hash, lfile, afile, anode, ofile, onode, flags = stateentry | ||||
|
r20594 | octx = self._repo[self._other] | ||
|
r27048 | fcd = self._filectxorabsent(hash, wctx, dfile) | ||
fco = self._filectxorabsent(onode, octx, ofile) | ||||
# TODO: move this to filectxorabsent | ||||
|
r18338 | fca = self._repo.filectx(afile, fileid=anode) | ||
# "premerge" x flags | ||||
flo = fco.flags() | ||||
fla = fca.flags() | ||||
if 'x' in flags + flo + fla and 'l' not in flags + flo + fla: | ||||
if fca.node() == nullid: | ||||
|
r26617 | if preresolve: | ||
self._repo.ui.warn( | ||||
_('warning: cannot merge flags for %s\n') % afile) | ||||
|
r18338 | elif flags == fla: | ||
flags = flo | ||||
|
r26617 | if preresolve: | ||
# restore local | ||||
|
r27048 | if hash != nullhex: | ||
f = self._repo.vfs('merge/' + hash) | ||||
self._repo.wwrite(dfile, f.read(), flags) | ||||
f.close() | ||||
else: | ||||
self._repo.wvfs.unlinkpath(dfile, ignoremissing=True) | ||||
|
r27034 | complete, r, deleted = filemerge.premerge(self._repo, self._local, | ||
lfile, fcd, fco, fca, | ||||
labels=labels) | ||||
|
r26617 | else: | ||
|
r27034 | complete, r, deleted = filemerge.filemerge(self._repo, self._local, | ||
lfile, fcd, fco, fca, | ||||
labels=labels) | ||||
|
r13536 | if r is None: | ||
# no real conflict | ||||
del self._state[dfile] | ||||
|
r20792 | self._dirty = True | ||
|
r13536 | elif not r: | ||
|
r6512 | self.mark(dfile, 'r') | ||
|
r27035 | |||
if complete: | ||||
|
r27075 | action = None | ||
|
r27035 | if deleted: | ||
|
r27122 | if fcd.isabsent(): | ||
# dc: local picked. Need to drop if present, which may | ||||
# happen on re-resolves. | ||||
action = 'f' | ||||
else: | ||||
|
r27035 | # cd: remote picked (or otherwise deleted) | ||
action = 'r' | ||||
else: | ||||
if fcd.isabsent(): # dc: remote picked | ||||
action = 'g' | ||||
elif fco.isabsent(): # cd: local picked | ||||
|
r27131 | if dfile in self.localctx: | ||
action = 'am' | ||||
else: | ||||
action = 'a' | ||||
|
r27035 | # else: regular merges (no action necessary) | ||
|
r27074 | self._results[dfile] = r, action | ||
|
r27035 | |||
|
r27075 | return complete, r | ||
|
r2775 | |||
|
r27048 | def _filectxorabsent(self, hexnode, ctx, f): | ||
if hexnode == nullhex: | ||||
return filemerge.absentfilectx(ctx, f) | ||||
else: | ||||
return ctx[f] | ||||
|
r26617 | def preresolve(self, dfile, wctx, labels=None): | ||
|
r26870 | """run premerge process for dfile | ||
Returns whether the merge is complete, and the exit code.""" | ||||
|
r27075 | return self._resolve(True, dfile, wctx, labels=labels) | ||
|
r26617 | |||
|
r26615 | def resolve(self, dfile, wctx, labels=None): | ||
|
r26870 | """run merge process (assuming premerge was run) for dfile | ||
Returns the exit code of the merge.""" | ||||
|
r27075 | return self._resolve(False, dfile, wctx, labels=labels)[1] | ||
|
r26615 | |||
|
r27076 | def counts(self): | ||
"""return counts for updated, merged and removed files in this | ||||
session""" | ||||
updated, merged, removed = 0, 0, 0 | ||||
for r, action in self._results.itervalues(): | ||||
if r is None: | ||||
updated += 1 | ||||
elif r == 0: | ||||
if action == 'r': | ||||
removed += 1 | ||||
else: | ||||
merged += 1 | ||||
return updated, merged, removed | ||||
|
r27077 | def unresolvedcount(self): | ||
"""get unresolved count for this merge (persistent)""" | ||||
return len([True for f, entry in self._state.iteritems() | ||||
if entry[0] == 'u']) | ||||
|
r27079 | def actions(self): | ||
"""return lists of actions to perform on the dirstate""" | ||||
|
r27131 | actions = {'r': [], 'f': [], 'a': [], 'am': [], 'g': []} | ||
|
r27079 | for f, (r, action) in self._results.iteritems(): | ||
if action is not None: | ||||
actions[action].append((f, None, "merge result")) | ||||
return actions | ||||
|
r27088 | def recordactions(self): | ||
"""record remove/add/get actions in the dirstate""" | ||||
branchmerge = self._repo.dirstate.p2() != nullid | ||||
recordupdates(self._repo, self.actions(), branchmerge) | ||||
|
r27090 | def queueremove(self, f): | ||
"""queues a file to be removed from the dirstate | ||||
Meant for use by custom merge drivers.""" | ||||
self._results[f] = 0, 'r' | ||||
def queueadd(self, f): | ||||
"""queues a file to be added to the dirstate | ||||
Meant for use by custom merge drivers.""" | ||||
self._results[f] = 0, 'a' | ||||
def queueget(self, f): | ||||
"""queues a file to be marked modified in the dirstate | ||||
Meant for use by custom merge drivers.""" | ||||
self._results[f] = 0, 'g' | ||||
|
r23653 | def _checkunknownfile(repo, wctx, mctx, f, f2=None): | ||
if f2 is None: | ||||
f2 = f | ||||
|
r23478 | return (os.path.isfile(repo.wjoin(f)) | ||
|
r23879 | and repo.wvfs.audit.check(f) | ||
|
r16284 | and repo.dirstate.normalize(f) not in repo.dirstate | ||
|
r23653 | and mctx[f2].cmp(wctx[f])) | ||
|
r16093 | |||
|
r23655 | def _checkunknownfiles(repo, wctx, mctx, force, actions): | ||
""" | ||||
Considers any actions that care about the presence of conflicting unknown | ||||
files. For some actions, the result is to abort; for others, it is to | ||||
choose a different action. | ||||
""" | ||||
aborts = [] | ||||
if not force: | ||||
for f, (m, args, msg) in actions.iteritems(): | ||||
if m in ('c', 'dc'): | ||||
if _checkunknownfile(repo, wctx, mctx, f): | ||||
aborts.append(f) | ||||
elif m == 'dg': | ||||
if _checkunknownfile(repo, wctx, mctx, f, args[0]): | ||||
aborts.append(f) | ||||
for f in sorted(aborts): | ||||
repo.ui.warn(_("%s: untracked file differs\n") % f) | ||||
if aborts: | ||||
|
r26587 | raise error.Abort(_("untracked files in working directory differ " | ||
|
r23655 | "from files in requested revision")) | ||
for f, (m, args, msg) in actions.iteritems(): | ||||
if m == 'c': | ||||
actions[f] = ('g', args, msg) | ||||
elif m == 'cm': | ||||
fl2, anc = args | ||||
different = _checkunknownfile(repo, wctx, mctx, f) | ||||
if different: | ||||
actions[f] = ('m', (f, f, None, False, anc), | ||||
"remote differs from untracked local") | ||||
else: | ||||
actions[f] = ('g', (fl2,), "remote created") | ||||
|
r6269 | def _forgetremoved(wctx, mctx, branchmerge): | ||
|
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. | ||||
|
r6242 | |||
If we're merging, and the other revision has removed a file | ||||
that is not present in the working directory, we need to mark it | ||||
as removed. | ||||
|
r3107 | """ | ||
|
r23640 | actions = {} | ||
m = 'f' | ||||
|
r21545 | if branchmerge: | ||
|
r23640 | m = 'r' | ||
|
r6242 | for f in wctx.deleted(): | ||
|
r6272 | if f not in mctx: | ||
|
r23640 | actions[f] = m, None, "forget deleted" | ||
|
r6242 | |||
if not branchmerge: | ||||
for f in wctx.removed(): | ||||
|
r6272 | if f not in mctx: | ||
|
r23640 | actions[f] = 'f', None, "forget removed" | ||
|
r3107 | |||
|
r23640 | return actions | ||
|
r3107 | |||
|
r20640 | def _checkcollision(repo, wmf, actions): | ||
|
r19105 | # build provisional merged manifest up | ||
pmmf = set(wmf) | ||||
|
r21545 | if actions: | ||
# k, dr, e and rd are no-op | ||||
|
r27131 | for m in 'a', 'am', 'f', 'g', 'cd', 'dc': | ||
|
r21545 | for f, args, msg in actions[m]: | ||
pmmf.add(f) | ||||
for f, args, msg in actions['r']: | ||||
pmmf.discard(f) | ||||
for f, args, msg in actions['dm']: | ||||
f2, flags = args | ||||
pmmf.discard(f2) | ||||
pmmf.add(f) | ||||
for f, args, msg in actions['dg']: | ||||
pmmf.add(f) | ||||
for f, args, msg in actions['m']: | ||||
f1, f2, fa, move, anc = args | ||||
if move: | ||||
pmmf.discard(f1) | ||||
pmmf.add(f) | ||||
|
r19105 | |||
# check case-folding collision in provisional merged manifest | ||||
foldmap = {} | ||||
for f in sorted(pmmf): | ||||
fold = util.normcase(f) | ||||
if fold in foldmap: | ||||
|
r26587 | raise error.Abort(_("case-folding collision between %s and %s") | ||
|
r19105 | % (f, foldmap[fold])) | ||
foldmap[fold] = f | ||||
|
r26661 | # check case-folding of directories | ||
foldprefix = unfoldprefix = lastfull = '' | ||||
for fold, f in sorted(foldmap.items()): | ||||
if fold.startswith(foldprefix) and not f.startswith(unfoldprefix): | ||||
# the folded prefix matches but actual casing is different | ||||
raise error.Abort(_("case-folding collision between " | ||||
"%s and directory of %s") % (lastfull, f)) | ||||
foldprefix = fold + '/' | ||||
unfoldprefix = f + '/' | ||||
lastfull = f | ||||
|
r26785 | def driverpreprocess(repo, ms, wctx, labels=None): | ||
"""run the preprocess step of the merge driver, if any | ||||
This is currently not implemented -- it's an extension point.""" | ||||
return True | ||||
def driverconclude(repo, ms, wctx, labels=None): | ||||
"""run the conclude step of the merge driver, if any | ||||
This is currently not implemented -- it's an extension point.""" | ||||
return True | ||||
|
r27346 | def manifestmerge(repo, wctx, p2, pa, branchmerge, force, matcher, | ||
|
r21080 | acceptremote, followcopies): | ||
|
r3105 | """ | ||
|
r11817 | Merge p1 and p2 with ancestor pa and generate merge action list | ||
|
r3315 | |||
|
r18605 | branchmerge and force are as passed in to update | ||
|
r27346 | matcher = matcher to filter file lists | ||
|
r18778 | acceptremote = accept the incoming changes without prompting | ||
|
r3105 | """ | ||
|
r27346 | if matcher is not None and matcher.always(): | ||
matcher = None | ||||
|
r3105 | |||
|
r23526 | copy, movewithdir, diverge, renamedelete = {}, {}, {}, {} | ||
|
r8753 | |||
|
r18651 | # manifests fetched in order are going to be faster, so prime the caches | ||
[x.manifest() for x in | ||||
sorted(wctx.parents() + [p2, pa], key=lambda x: x.rev())] | ||||
if followcopies: | ||||
|
r18611 | ret = copies.mergecopies(repo, wctx, p2, pa) | ||
|
r18134 | copy, movewithdir, diverge, renamedelete = ret | ||
|
r8753 | |||
repo.ui.note(_("resolving manifests\n")) | ||||
|
r18605 | repo.ui.debug(" branchmerge: %s, force: %s, partial: %s\n" | ||
|
r27346 | % (bool(branchmerge), bool(force), bool(matcher))) | ||
|
r18611 | repo.ui.debug(" ancestor: %s, local: %s, remote: %s\n" % (pa, wctx, p2)) | ||
|
r8753 | |||
|
r18611 | m1, m2, ma = wctx.manifest(), p2.manifest(), pa.manifest() | ||
|
r8753 | copied = set(copy.values()) | ||
|
r18134 | copied.update(movewithdir.values()) | ||
|
r3295 | |||
|
r11470 | if '.hgsubstate' in m1: | ||
|
r9783 | # check whether sub state is modified | ||
|
r18611 | for s in sorted(wctx.substate): | ||
if wctx.sub(s).dirty(): | ||||
|
r23380 | m1['.hgsubstate'] += '+' | ||
|
r9783 | break | ||
|
r3105 | # Compare manifests | ||
|
r22964 | diff = m1.diff(m2) | ||
|
r18822 | |||
|
r23637 | actions = {} | ||
|
r22966 | for f, ((n1, fl1), (n2, fl2)) in diff.iteritems(): | ||
|
r27346 | if matcher and not matcher(f): | ||
|
r3248 | continue | ||
|
r23473 | if n1 and n2: # file exists on both local and remote side | ||
|
r23396 | if f not in ma: | ||
|
r23397 | fa = copy.get(f, None) | ||
if fa is not None: | ||||
|
r23637 | actions[f] = ('m', (f, f, fa, False, pa.node()), | ||
"both renamed from " + fa) | ||||
|
r18338 | else: | ||
|
r23637 | actions[f] = ('m', (f, f, None, False, pa.node()), | ||
"both created") | ||||
|
r16094 | else: | ||
|
r23396 | a = ma[f] | ||
fla = ma.flags(f) | ||||
|
r23395 | nol = 'l' not in fl1 + fl2 + fla | ||
if n2 == a and fl2 == fla: | ||||
|
r23637 | actions[f] = ('k' , (), "remote unchanged") | ||
|
r23395 | elif n1 == a and fl1 == fla: # local unchanged - use remote | ||
if n1 == n2: # optimization: keep local content | ||||
|
r23637 | actions[f] = ('e', (fl2,), "update permissions") | ||
|
r23395 | else: | ||
|
r23637 | actions[f] = ('g', (fl2,), "remote is newer") | ||
|
r23395 | elif nol and n2 == a: # remote only changed 'x' | ||
|
r23637 | actions[f] = ('e', (fl2,), "update permissions") | ||
|
r23395 | elif nol and n1 == a: # local only changed 'x' | ||
|
r23637 | actions[f] = ('g', (fl1,), "remote is newer") | ||
|
r23395 | else: # both changed something | ||
|
r23637 | actions[f] = ('m', (f, f, f, False, pa.node()), | ||
"versions differ") | ||||
|
r23473 | elif n1: # file exists only on local side | ||
|
r23474 | if f in copied: | ||
pass # we'll deal with it on m2 side | ||||
elif f in movewithdir: # directory rename, move local | ||||
|
r23473 | f2 = movewithdir[f] | ||
|
r23475 | if f2 in m2: | ||
|
r23637 | actions[f2] = ('m', (f, f2, None, True, pa.node()), | ||
"remote directory rename, both created") | ||||
|
r23475 | else: | ||
|
r23637 | actions[f2] = ('dm', (f, fl1), | ||
"remote directory rename - move from " + f) | ||||
|
r23473 | elif f in copy: | ||
f2 = copy[f] | ||||
|
r23637 | actions[f] = ('m', (f, f2, f2, False, pa.node()), | ||
"local copied/moved from " + f2) | ||||
|
r23473 | elif f in ma: # clean, a different, no remote | ||
if n1 != ma[f]: | ||||
if acceptremote: | ||||
|
r23637 | actions[f] = ('r', None, "remote delete") | ||
|
r23473 | else: | ||
|
r26962 | actions[f] = ('cd', (f, None, f, False, pa.node()), | ||
"prompt changed/deleted") | ||||
|
r23473 | elif n1[20:] == 'a': | ||
# This extra 'a' is added by working copy manifest to mark | ||||
# the file as locally added. We should forget it instead of | ||||
# deleting it. | ||||
|
r23637 | actions[f] = ('f', None, "remote deleted") | ||
|
r20639 | else: | ||
|
r23637 | actions[f] = ('r', None, "other deleted") | ||
|
r23473 | elif n2: # file exists only on remote side | ||
|
r23474 | if f in copied: | ||
pass # we'll deal with it on m1 side | ||||
elif f in movewithdir: | ||||
|
r23473 | f2 = movewithdir[f] | ||
|
r23476 | if f2 in m1: | ||
|
r23637 | actions[f2] = ('m', (f2, f, None, False, pa.node()), | ||
"local directory rename, both created") | ||||
|
r23476 | else: | ||
|
r23637 | actions[f2] = ('dg', (f, fl2), | ||
"local directory rename - get from " + f) | ||||
|
r23473 | elif f in copy: | ||
f2 = copy[f] | ||||
if f2 in m2: | ||||
|
r23637 | actions[f] = ('m', (f2, f, f2, False, pa.node()), | ||
"remote copied from " + f2) | ||||
|
r23473 | else: | ||
|
r23637 | actions[f] = ('m', (f2, f, f2, True, pa.node()), | ||
"remote moved from " + f2) | ||||
|
r23473 | elif f not in ma: | ||
# local unknown, remote created: the logic is described by the | ||||
# following table: | ||||
# | ||||
# force branchmerge different | action | ||||
|
r23651 | # n * * | create | ||
|
r23650 | # y n * | create | ||
# y y n | create | ||||
|
r23473 | # y y y | merge | ||
# | ||||
# Checking whether the files are different is expensive, so we | ||||
# don't do that when we can avoid it. | ||||
|
r23649 | if not force: | ||
|
r23651 | actions[f] = ('c', (fl2,), "remote created") | ||
|
r23649 | elif not branchmerge: | ||
|
r23650 | actions[f] = ('c', (fl2,), "remote created") | ||
|
r23473 | else: | ||
|
r23654 | actions[f] = ('cm', (fl2, pa.node()), | ||
"remote created, get or merge") | ||||
|
r23473 | elif n2 != ma[f]: | ||
|
r23651 | if acceptremote: | ||
actions[f] = ('c', (fl2,), "remote recreating") | ||||
|
r18606 | else: | ||
|
r26962 | actions[f] = ('dc', (None, f, f, False, pa.node()), | ||
"prompt deleted/changed") | ||||
|
r23651 | |||
|
r23526 | return actions, diverge, renamedelete | ||
|
r3105 | |||
|
r23531 | def _resolvetrivial(repo, wctx, mctx, ancestor, actions): | ||
"""Resolves false conflicts where the nodeid changed but the content | ||||
remained the same.""" | ||||
|
r23639 | for f, (m, args, msg) in actions.items(): | ||
if m == 'cd' and f in ancestor and not wctx[f].cmp(ancestor[f]): | ||||
|
r23531 | # local did change but ended up with same content | ||
|
r23639 | actions[f] = 'r', None, "prompt same" | ||
elif m == 'dc' and f in ancestor and not mctx[f].cmp(ancestor[f]): | ||||
|
r23531 | # remote did change but ended up with same content | ||
|
r23639 | del actions[f] # don't get = keep local deleted | ||
|
r23531 | |||
|
r27345 | def calculateupdates(repo, wctx, mctx, ancestors, branchmerge, force, | ||
acceptremote, followcopies, matcher=None): | ||||
|
r23385 | "Calculate the actions needed to merge mctx into wctx using ancestors" | ||
if len(ancestors) == 1: # default | ||||
|
r23526 | actions, diverge, renamedelete = manifestmerge( | ||
|
r27346 | repo, wctx, mctx, ancestors[0], branchmerge, force, matcher, | ||
|
r23526 | acceptremote, followcopies) | ||
|
r23656 | _checkunknownfiles(repo, wctx, mctx, force, actions) | ||
|
r23385 | |||
else: # only when merge.preferancestor=* - the default | ||||
repo.ui.note( | ||||
_("note: merging %s and %s using bids from ancestors %s\n") % | ||||
(wctx, mctx, _(' and ').join(str(anc) for anc in ancestors))) | ||||
# Call for bids | ||||
fbids = {} # mapping filename to bids (action method to list af actions) | ||||
|
r23526 | diverge, renamedelete = None, None | ||
|
r23385 | for ancestor in ancestors: | ||
repo.ui.note(_('\ncalculating bids for ancestor %s\n') % ancestor) | ||||
|
r23526 | actions, diverge1, renamedelete1 = manifestmerge( | ||
|
r27346 | repo, wctx, mctx, ancestor, branchmerge, force, matcher, | ||
|
r23526 | acceptremote, followcopies) | ||
|
r23656 | _checkunknownfiles(repo, wctx, mctx, force, actions) | ||
|
r26318 | |||
# Track the shortest set of warning on the theory that bid | ||||
# merge will correctly incorporate more information | ||||
if diverge is None or len(diverge1) < len(diverge): | ||||
|
r23526 | diverge = diverge1 | ||
|
r26318 | if renamedelete is None or len(renamedelete) < len(renamedelete1): | ||
|
r23526 | renamedelete = renamedelete1 | ||
|
r26318 | |||
|
r23638 | for f, a in sorted(actions.iteritems()): | ||
m, args, msg = a | ||||
repo.ui.debug(' %s: %s -> %s\n' % (f, msg, m)) | ||||
if f in fbids: | ||||
d = fbids[f] | ||||
if m in d: | ||||
d[m].append(a) | ||||
|
r23385 | else: | ||
|
r23638 | d[m] = [a] | ||
else: | ||||
fbids[f] = {m: [a]} | ||||
|
r23385 | |||
# Pick the best bid for each file | ||||
repo.ui.note(_('\nauction for merging merge bids\n')) | ||||
|
r23638 | actions = {} | ||
|
r23385 | for f, bids in sorted(fbids.items()): | ||
# bids is a mapping from action method to list af actions | ||||
# Consensus? | ||||
if len(bids) == 1: # all bids are the same kind of method | ||||
m, l = bids.items()[0] | ||||
|
r25151 | if all(a == l[0] for a in l[1:]): # len(bids) is > 1 | ||
|
r23385 | repo.ui.note(" %s: consensus for %s\n" % (f, m)) | ||
|
r23638 | actions[f] = l[0] | ||
|
r23385 | continue | ||
# If keep is an option, just do it. | ||||
if 'k' in bids: | ||||
repo.ui.note(" %s: picking 'keep' action\n" % f) | ||||
|
r23638 | actions[f] = bids['k'][0] | ||
|
r23385 | continue | ||
# If there are gets and they all agree [how could they not?], do it. | ||||
if 'g' in bids: | ||||
ga0 = bids['g'][0] | ||||
|
r25151 | if all(a == ga0 for a in bids['g'][1:]): | ||
|
r23385 | repo.ui.note(" %s: picking 'get' action\n" % f) | ||
|
r23638 | actions[f] = ga0 | ||
|
r23385 | continue | ||
# TODO: Consider other simple actions such as mode changes | ||||
# Handle inefficient democrazy. | ||||
repo.ui.note(_(' %s: multiple bids for merge action:\n') % f) | ||||
for m, l in sorted(bids.items()): | ||||
for _f, args, msg in l: | ||||
repo.ui.note(' %s -> %s\n' % (msg, m)) | ||||
# Pick random action. TODO: Instead, prompt user when resolving | ||||
m, l = bids.items()[0] | ||||
repo.ui.warn(_(' %s: ambiguous merge - picked %s action\n') % | ||||
(f, m)) | ||||
|
r23638 | actions[f] = l[0] | ||
|
r23385 | continue | ||
repo.ui.note(_('end of auction\n\n')) | ||||
|
r23639 | _resolvetrivial(repo, wctx, mctx, ancestors[0], actions) | ||
|
r23640 | if wctx.rev() is None: | ||
fractions = _forgetremoved(wctx, mctx, branchmerge) | ||||
actions.update(fractions) | ||||
|
r23526 | return actions, diverge, renamedelete | ||
|
r23385 | |||
|
r21392 | def batchremove(repo, actions): | ||
"""apply removes to the working directory | ||||
|
r18630 | |||
yields tuples for progress updates | ||||
""" | ||||
|
r18640 | verbose = repo.ui.verbose | ||
unlink = util.unlinkpath | ||||
wjoin = repo.wjoin | ||||
|
r23879 | audit = repo.wvfs.audit | ||
|
r18633 | i = 0 | ||
|
r21545 | for f, args, msg in actions: | ||
|
r21392 | repo.ui.debug(" %s: %s -> r\n" % (f, msg)) | ||
|
r21551 | if verbose: | ||
repo.ui.note(_("removing %s\n") % f) | ||||
audit(f) | ||||
try: | ||||
unlink(wjoin(f), ignoremissing=True) | ||||
|
r25660 | except OSError as inst: | ||
|
r21551 | repo.ui.warn(_("update failed to remove %s: %s!\n") % | ||
(f, inst.strerror)) | ||||
|
r21392 | if i == 100: | ||
yield i, f | ||||
i = 0 | ||||
i += 1 | ||||
if i > 0: | ||||
yield i, f | ||||
def batchget(repo, mctx, actions): | ||||
"""apply gets to the working directory | ||||
mctx is the context to get from | ||||
yields tuples for progress updates | ||||
""" | ||||
verbose = repo.ui.verbose | ||||
fctx = mctx.filectx | ||||
wwrite = repo.wwrite | ||||
i = 0 | ||||
|
r21545 | for f, args, msg in actions: | ||
|
r21392 | repo.ui.debug(" %s: %s -> g\n" % (f, msg)) | ||
|
r21551 | if verbose: | ||
repo.ui.note(_("getting %s\n") % f) | ||||
wwrite(f, fctx(f).data(), args[0]) | ||||
|
r18633 | if i == 100: | ||
yield i, f | ||||
i = 0 | ||||
i += 1 | ||||
if i > 0: | ||||
|
r18630 | yield i, f | ||
|
r21524 | def applyupdates(repo, actions, wctx, mctx, overwrite, labels=None): | ||
|
r11454 | """apply the merge action list to the working directory | ||
wctx is the working copy context | ||||
mctx is the context to be merged into the working copy | ||||
|
r13162 | |||
Return a tuple of counts (updated, merged, removed, unresolved) that | ||||
describes how many files were affected by the update. | ||||
|
r11454 | """ | ||
|
r3315 | |||
|
r27078 | updated, merged, removed = 0, 0, 0 | ||
|
r26990 | ms = mergestate.clean(repo, wctx.p1().node(), mctx.node()) | ||
|
r6512 | moves = [] | ||
|
r21545 | for m, l in actions.items(): | ||
l.sort() | ||||
|
r6512 | |||
|
r27137 | # 'cd' and 'dc' actions are treated like other merge conflicts | ||
mergeactions = sorted(actions['cd']) | ||||
mergeactions.extend(sorted(actions['dc'])) | ||||
mergeactions.extend(actions['m']) | ||||
for f, args, msg in mergeactions: | ||||
|
r21551 | f1, f2, fa, move, anc = args | ||
if f == '.hgsubstate': # merged internally | ||||
continue | ||||
|
r27091 | if f1 is None: | ||
fcl = filemerge.absentfilectx(wctx, fa) | ||||
else: | ||||
repo.ui.debug(" preserving %s for resolve of %s\n" % (f1, f)) | ||||
fcl = wctx[f1] | ||||
if f2 is None: | ||||
fco = filemerge.absentfilectx(mctx, fa) | ||||
else: | ||||
fco = mctx[f2] | ||||
|
r21551 | actx = repo[anc] | ||
if fa in actx: | ||||
fca = actx[fa] | ||||
else: | ||||
|
r27091 | # TODO: move to absentfilectx | ||
|
r21551 | fca = repo.filectx(f1, fileid=nullrev) | ||
ms.add(fcl, fco, fca, f) | ||||
if f1 != f and move: | ||||
moves.append(f1) | ||||
|
r6512 | |||
|
r23879 | audit = repo.wvfs.audit | ||
|
r21390 | _updating = _('updating') | ||
_files = _('files') | ||||
progress = repo.ui.progress | ||||
|
r14398 | |||
|
r6512 | # remove renamed files after safely stored | ||
for f in moves: | ||||
|
r12032 | if os.path.lexists(repo.wjoin(f)): | ||
|
r9467 | repo.ui.debug("removing %s\n" % f) | ||
|
r14398 | audit(f) | ||
|
r18333 | util.unlinkpath(repo.wjoin(f)) | ||
|
r5042 | |||
|
r23526 | numupdates = sum(len(l) for m, l in actions.items() if m != 'k') | ||
|
r18630 | |||
|
r21545 | if [a for a in actions['r'] if a[0] == '.hgsubstate']: | ||
|
r18632 | subrepo.submerge(repo, wctx, mctx, wctx, overwrite) | ||
|
r21390 | # remove in parallel (must come first) | ||
|
r18633 | z = 0 | ||
|
r21545 | prog = worker.worker(repo.ui, 0.001, batchremove, (repo,), actions['r']) | ||
|
r19095 | for i, item in prog: | ||
z += i | ||||
|
r21390 | progress(_updating, z, item=item, total=numupdates, unit=_files) | ||
|
r21545 | removed = len(actions['r']) | ||
|
r21390 | |||
# get in parallel | ||||
|
r21545 | prog = worker.worker(repo.ui, 0.001, batchget, (repo, mctx), actions['g']) | ||
|
r18639 | for i, item in prog: | ||
|
r18633 | z += i | ||
|
r21390 | progress(_updating, z, item=item, total=numupdates, unit=_files) | ||
|
r21545 | updated = len(actions['g']) | ||
|
r18630 | |||
|
r21545 | if [a for a in actions['g'] if a[0] == '.hgsubstate']: | ||
|
r18632 | subrepo.submerge(repo, wctx, mctx, wctx, overwrite) | ||
|
r21551 | # forget (manifest only, just log it) (must come first) | ||
for f, args, msg in actions['f']: | ||||
repo.ui.debug(" %s: %s -> f\n" % (f, msg)) | ||||
z += 1 | ||||
progress(_updating, z, item=f, total=numupdates, unit=_files) | ||||
|
r21391 | |||
|
r21551 | # re-add (manifest only, just log it) | ||
for f, args, msg in actions['a']: | ||||
repo.ui.debug(" %s: %s -> a\n" % (f, msg)) | ||||
z += 1 | ||||
progress(_updating, z, item=f, total=numupdates, unit=_files) | ||||
|
r21391 | |||
|
r27131 | # re-add/mark as modified (manifest only, just log it) | ||
for f, args, msg in actions['am']: | ||||
repo.ui.debug(" %s: %s -> am\n" % (f, msg)) | ||||
z += 1 | ||||
progress(_updating, z, item=f, total=numupdates, unit=_files) | ||||
|
r21551 | # keep (noop, just log it) | ||
for f, args, msg in actions['k']: | ||||
repo.ui.debug(" %s: %s -> k\n" % (f, msg)) | ||||
# no progress | ||||
|
r21391 | |||
|
r21551 | # directory rename, move local | ||
for f, args, msg in actions['dm']: | ||||
repo.ui.debug(" %s: %s -> dm\n" % (f, msg)) | ||||
z += 1 | ||||
progress(_updating, z, item=f, total=numupdates, unit=_files) | ||||
f0, flags = args | ||||
repo.ui.note(_("moving %s to %s\n") % (f0, f)) | ||||
audit(f) | ||||
repo.wwrite(f, wctx.filectx(f0).data(), flags) | ||||
util.unlinkpath(repo.wjoin(f0)) | ||||
updated += 1 | ||||
|
r21391 | |||
|
r21551 | # local directory rename, get | ||
for f, args, msg in actions['dg']: | ||||
repo.ui.debug(" %s: %s -> dg\n" % (f, msg)) | ||||
z += 1 | ||||
progress(_updating, z, item=f, total=numupdates, unit=_files) | ||||
f0, flags = args | ||||
repo.ui.note(_("getting %s to %s\n") % (f0, f)) | ||||
repo.wwrite(f, mctx.filectx(f0).data(), flags) | ||||
updated += 1 | ||||
|
r21391 | |||
|
r21551 | # exec | ||
for f, args, msg in actions['e']: | ||||
repo.ui.debug(" %s: %s -> e\n" % (f, msg)) | ||||
z += 1 | ||||
progress(_updating, z, item=f, total=numupdates, unit=_files) | ||||
flags, = args | ||||
audit(f) | ||||
util.setflags(repo.wjoin(f), 'l' in flags, 'x' in flags) | ||||
updated += 1 | ||||
|
r21391 | |||
|
r26786 | # the ordering is important here -- ms.mergedriver will raise if the merge | ||
# driver has changed, and we want to be able to bypass it when overwrite is | ||||
# True | ||||
usemergedriver = not overwrite and mergeactions and ms.mergedriver | ||||
if usemergedriver: | ||||
ms.commit() | ||||
proceed = driverpreprocess(repo, ms, wctx, labels=labels) | ||||
# the driver might leave some files unresolved | ||||
unresolvedf = set(ms.unresolved()) | ||||
if not proceed: | ||||
# XXX setting unresolved to at least 1 is a hack to make sure we | ||||
# error out | ||||
return updated, merged, removed, max(len(unresolvedf), 1) | ||||
newactions = [] | ||||
for f, args, msg in mergeactions: | ||||
if f in unresolvedf: | ||||
newactions.append((f, args, msg)) | ||||
mergeactions = newactions | ||||
|
r26618 | # premerge | ||
tocomplete = [] | ||||
|
r26949 | for f, args, msg in mergeactions: | ||
|
r26618 | repo.ui.debug(" %s: %s -> m (premerge)\n" % (f, msg)) | ||
|
r26292 | z += 1 | ||
progress(_updating, z, item=f, total=numupdates, unit=_files) | ||||
if f == '.hgsubstate': # subrepo states need updating | ||||
subrepo.submerge(repo, wctx, mctx, wctx.ancestor(mctx), | ||||
overwrite) | ||||
continue | ||||
audit(f) | ||||
|
r26617 | complete, r = ms.preresolve(f, wctx, labels=labels) | ||
|
r27078 | if not complete: | ||
|
r26618 | numupdates += 1 | ||
tocomplete.append((f, args, msg)) | ||||
# merge | ||||
for f, args, msg in tocomplete: | ||||
repo.ui.debug(" %s: %s -> m (merge)\n" % (f, msg)) | ||||
z += 1 | ||||
progress(_updating, z, item=f, total=numupdates, unit=_files) | ||||
|
r27078 | ms.resolve(f, wctx, labels=labels) | ||
|
r26292 | |||
|
r12369 | ms.commit() | ||
|
r26787 | |||
|
r27078 | unresolved = ms.unresolvedcount() | ||
|
r26787 | if usemergedriver and not unresolved and ms.mdstate() != 's': | ||
if not driverconclude(repo, ms, wctx, labels=labels): | ||||
# XXX setting unresolved to at least 1 is a hack to make sure we | ||||
# error out | ||||
|
r26975 | unresolved = max(unresolved, 1) | ||
|
r26787 | |||
ms.commit() | ||||
|
r27078 | msupdated, msmerged, msremoved = ms.counts() | ||
updated += msupdated | ||||
merged += msmerged | ||||
removed += msremoved | ||||
|
r27080 | |||
extraactions = ms.actions() | ||||
|
r27121 | for k, acts in extraactions.iteritems(): | ||
actions[k].extend(acts) | ||||
|
r27080 | |||
|
r18640 | progress(_updating, None, total=numupdates, unit=_files) | ||
|
r3111 | |||
return updated, merged, removed, unresolved | ||||
|
r18330 | def recordupdates(repo, actions, branchmerge): | ||
|
r3315 | "record merge actions to the dirstate" | ||
|
r21551 | # remove (must come first) | ||
|
r27087 | for f, args, msg in actions.get('r', []): | ||
|
r21551 | if branchmerge: | ||
repo.dirstate.remove(f) | ||||
else: | ||||
|
r21389 | repo.dirstate.drop(f) | ||
|
r21391 | |||
|
r21551 | # forget (must come first) | ||
|
r27087 | for f, args, msg in actions.get('f', []): | ||
|
r21551 | repo.dirstate.drop(f) | ||
|
r21391 | |||
|
r21551 | # re-add | ||
|
r27087 | for f, args, msg in actions.get('a', []): | ||
|
r27132 | repo.dirstate.add(f) | ||
|
r21391 | |||
|
r27131 | # re-add/mark as modified | ||
for f, args, msg in actions.get('am', []): | ||||
if branchmerge: | ||||
repo.dirstate.normallookup(f) | ||||
else: | ||||
repo.dirstate.add(f) | ||||
|
r21551 | # exec change | ||
|
r27087 | for f, args, msg in actions.get('e', []): | ||
|
r21551 | repo.dirstate.normallookup(f) | ||
|
r21391 | |||
|
r21551 | # keep | ||
|
r27087 | for f, args, msg in actions.get('k', []): | ||
|
r21551 | pass | ||
# get | ||||
|
r27087 | for f, args, msg in actions.get('g', []): | ||
|
r21551 | if branchmerge: | ||
repo.dirstate.otherparent(f) | ||||
else: | ||||
repo.dirstate.normal(f) | ||||
|
r21391 | |||
|
r21551 | # merge | ||
|
r27087 | for f, args, msg in actions.get('m', []): | ||
|
r21551 | f1, f2, fa, move, anc = args | ||
if branchmerge: | ||||
# We've done a branch merge, mark this file as merged | ||||
# so that we properly record the merger later | ||||
repo.dirstate.merge(f) | ||||
if f1 != f2: # copy/rename | ||||
|
r3308 | if move: | ||
|
r21551 | repo.dirstate.remove(f1) | ||
if f1 != f: | ||||
repo.dirstate.copy(f1, f) | ||||
else: | ||||
repo.dirstate.copy(f2, f) | ||||
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. | ||||
if f2 == f: # file not locally copied/moved | ||||
repo.dirstate.normallookup(f) | ||||
if move: | ||||
repo.dirstate.drop(f1) | ||||
|
r21391 | |||
|
r21551 | # directory rename, move local | ||
|
r27087 | for f, args, msg in actions.get('dm', []): | ||
|
r21551 | f0, flag = args | ||
if branchmerge: | ||||
repo.dirstate.add(f) | ||||
repo.dirstate.remove(f0) | ||||
repo.dirstate.copy(f0, f) | ||||
else: | ||||
repo.dirstate.normal(f) | ||||
repo.dirstate.drop(f0) | ||||
|
r21391 | |||
|
r21551 | # directory rename, get | ||
|
r27087 | for f, args, msg in actions.get('dg', []): | ||
|
r21551 | f0, flag = args | ||
if branchmerge: | ||||
repo.dirstate.add(f) | ||||
repo.dirstate.copy(f0, f) | ||||
else: | ||||
repo.dirstate.normal(f) | ||||
|
r3111 | |||
|
r27344 | def update(repo, node, branchmerge, force, ancestor=None, | ||
mergeancestor=False, labels=None, matcher=None): | ||||
|
r3315 | """ | ||
Perform a merge between the working directory and the given node | ||||
|
r9716 | node = the node to update to, or None if unspecified | ||
|
r3315 | branchmerge = whether to merge between branches | ||
force = whether to force branch merging or file overwriting | ||||
|
r27344 | matcher = a matcher to filter file lists (dirstate not updated) | ||
|
r18778 | mergeancestor = whether it is merging with an ancestor. If true, | ||
we should accept the incoming changes for any prompts that occur. | ||||
If false, merging with an ancestor (fast-forward) is only allowed | ||||
between different named branches. This flag is used by rebase extension | ||||
as a temporary fix and should be avoided in general. | ||||
|
r9716 | |||
The table below shows all the behaviors of the update command | ||||
given the -c and -C or no options, whether the working directory | ||||
is dirty, whether a revision is specified, and the relationship of | ||||
the parent rev to the target rev (linear, on the same named | ||||
branch, or on another named branch). | ||||
|
r12279 | This logic is tested by test-update-branches.t. | ||
|
r9716 | |||
|
r26821 | -c -C dirty rev | linear same cross | ||
n n n n | ok (1) x | ||||
n n n y | ok ok ok | ||||
n n y n | merge (2) (2) | ||||
n n y y | merge (3) (3) | ||||
n y * * | discard discard discard | ||||
y n y * | (4) (4) (4) | ||||
y n n * | ok ok ok | ||||
y y * * | (5) (5) (5) | ||||
|
r9716 | |||
x = can't happen | ||||
* = don't-care | ||||
|
r19798 | 1 = abort: not a linear update (merge or update --check to force update) | ||
|
r19800 | 2 = abort: uncommitted changes (commit and merge, or update --clean to | ||
discard changes) | ||||
|
r19799 | 3 = abort: uncommitted changes (commit or update --clean to discard changes) | ||
|
r19801 | 4 = abort: uncommitted changes (checked in commands.py) | ||
|
r19799 | 5 = incompatible options (checked in commands.py) | ||
|
r13162 | |||
Return the same tuple as applyupdates(). | ||||
|
r3315 | """ | ||
|
r2815 | |||
|
r9717 | onode = node | ||
|
r4917 | wlock = repo.wlock() | ||
|
r27344 | # If we're doing a partial update, we need to skip updating | ||
# the dirstate, so make a note of any partial-ness to the | ||||
# update here. | ||||
if matcher is None or matcher.always(): | ||||
partial = False | ||||
else: | ||||
partial = True | ||||
|
r4915 | try: | ||
|
r6747 | wc = repo[None] | ||
|
r20279 | pl = wc.parents() | ||
p1 = pl[0] | ||||
|
r21081 | pas = [None] | ||
|
r23405 | if ancestor is not None: | ||
|
r21081 | pas = [repo[ancestor]] | ||
|
r20279 | |||
|
r4915 | if node is None: | ||
|
r26682 | if (repo.ui.configbool('devel', 'all-warnings') | ||
or repo.ui.configbool('devel', 'oldapi')): | ||||
repo.ui.develwarn('update with no target') | ||||
|
r26641 | rev, _mark, _act = destutil.destupdate(repo) | ||
node = repo[rev].node() | ||||
|
r20280 | |||
|
r4915 | overwrite = force and not branchmerge | ||
|
r20279 | |||
p2 = repo[node] | ||||
|
r21081 | if pas[0] is None: | ||
|
r25844 | if repo.ui.configlist('merge', 'preferancestor', ['*']) == ['*']: | ||
|
r21128 | cahs = repo.changelog.commonancestorsheads(p1.node(), p2.node()) | ||
pas = [repo[anc] for anc in (sorted(cahs) or [nullid])] | ||||
else: | ||||
|
r22179 | pas = [p1.ancestor(p2, warn=branchmerge)] | ||
|
r13874 | |||
|
r4915 | fp1, fp2, xp1, xp2 = p1.node(), p2.node(), str(p1), str(p2) | ||
|
r3314 | |||
|
r4915 | ### check phase | ||
|
r27316 | if not overwrite: | ||
if len(pl) > 1: | ||||
raise error.Abort(_("outstanding uncommitted merge")) | ||||
ms = mergestate.read(repo) | ||||
if list(ms.unresolved()): | ||||
raise error.Abort(_("outstanding merge conflicts")) | ||||
|
r6375 | if branchmerge: | ||
|
r21081 | if pas == [p2]: | ||
|
r26587 | raise error.Abort(_("merging with a working directory ancestor" | ||
|
r11417 | " has no effect")) | ||
|
r21081 | elif pas == [p1]: | ||
|
r16696 | if not mergeancestor and p1.branch() == p2.branch(): | ||
|
r26587 | raise error.Abort(_("nothing to merge"), | ||
|
r15619 | hint=_("use 'hg update' " | ||
"or check 'hg heads'")) | ||||
|
r6375 | if not force and (wc.files() or wc.deleted()): | ||
|
r26587 | raise error.Abort(_("uncommitted changes"), | ||
|
r15619 | hint=_("use 'hg status' to list changes")) | ||
|
r18364 | for s in sorted(wc.substate): | ||
|
r24471 | wc.sub(s).bailifchanged() | ||
|
r13437 | |||
|
r6375 | elif not overwrite: | ||
|
r19929 | if p1 == p2: # no-op update | ||
# call the hooks and exit early | ||||
repo.hook('preupdate', throw=True, parent1=xp2, parent2='') | ||||
repo.hook('update', parent1=xp2, parent2='', error=0) | ||||
return 0, 0, 0, 0 | ||||
|
r21081 | if pas not in ([p1], [p2]): # nonlinear | ||
|
r18985 | dirty = wc.dirty(missing=True) | ||
if dirty or onode is None: | ||||
# Branching is a bit strange to ensure we do the minimal | ||||
# amount of call to obsolete.background. | ||||
foreground = obsolete.foreground(repo, [p1.node()]) | ||||
# note: the <node> variable contains a random identifier | ||||
if repo[node].node() in foreground: | ||||
|
r21081 | pas = [p1] # allow updating to successors | ||
|
r19799 | elif dirty: | ||
msg = _("uncommitted changes") | ||||
|
r19800 | if onode is None: | ||
hint = _("commit and merge, or update --clean to" | ||||
" discard changes") | ||||
else: | ||||
hint = _("commit or update --clean to discard" | ||||
" changes") | ||||
|
r26587 | raise error.Abort(msg, hint=hint) | ||
|
r18985 | else: # node is none | ||
|
r19798 | msg = _("not a linear update") | ||
hint = _("merge or update --check to force update") | ||||
|
r26587 | raise error.Abort(msg, hint=hint) | ||
|
r18985 | else: | ||
# Allow jumping branches if clean and specific rev given | ||||
|
r21081 | pas = [p1] | ||
|
r2814 | |||
|
r25843 | # deprecated config: merge.followcopies | ||
|
r21080 | followcopies = False | ||
if overwrite: | ||||
|
r21081 | pas = [wc] | ||
elif pas == [p2]: # backwards | ||||
pas = [wc.p1()] | ||||
|
r21080 | elif not branchmerge and not wc.dirty(missing=True): | ||
pass | ||||
|
r23380 | elif pas[0] and repo.ui.configbool('merge', 'followcopies', True): | ||
|
r21080 | followcopies = True | ||
|
r4915 | ### calculate phase | ||
|
r23641 | actionbyfile, diverge, renamedelete = calculateupdates( | ||
|
r27345 | repo, wc, p2, pas, branchmerge, force, mergeancestor, | ||
followcopies, matcher=matcher) | ||||
|
r23641 | # Convert to dictionary-of-lists format | ||
|
r27131 | actions = dict((m, []) for m in 'a am f g cd dc r dm dg m e k'.split()) | ||
|
r23641 | for f, (m, args, msg) in actionbyfile.iteritems(): | ||
if m not in actions: | ||||
actions[m] = [] | ||||
actions[m].append((f, args, msg)) | ||||
|
r2775 | |||
|
r23544 | if not util.checkcase(repo.path): | ||
# check collision between files only in p2 for clean update | ||||
if (not branchmerge and | ||||
(force or not wc.dirty(missing=True, branch=False))): | ||||
_checkcollision(repo, p2.manifest(), None) | ||||
else: | ||||
_checkcollision(repo, wc.manifest(), actions) | ||||
|
r27137 | # Prompt and create actions. Most of this is in the resolve phase | ||
# already, but we can't handle .hgsubstate in filemerge or | ||||
# subrepo.submerge yet so we have to keep prompting for it. | ||||
|
r23541 | for f, args, msg in sorted(actions['cd']): | ||
|
r27137 | if f != '.hgsubstate': | ||
continue | ||||
|
r23541 | if repo.ui.promptchoice( | ||
_("local changed %s which remote deleted\n" | ||||
"use (c)hanged version or (d)elete?" | ||||
"$$ &Changed $$ &Delete") % f, 0): | ||||
actions['r'].append((f, None, "prompt delete")) | ||||
|
r27131 | elif f in p1: | ||
actions['am'].append((f, None, "prompt keep")) | ||||
|
r23541 | else: | ||
actions['a'].append((f, None, "prompt keep")) | ||||
for f, args, msg in sorted(actions['dc']): | ||||
|
r27137 | if f != '.hgsubstate': | ||
continue | ||||
|
r26962 | f1, f2, fa, move, anc = args | ||
flags = p2[f2].flags() | ||||
|
r23541 | if repo.ui.promptchoice( | ||
_("remote changed %s which local deleted\n" | ||||
"use (c)hanged version or leave (d)eleted?" | ||||
"$$ &Changed $$ &Deleted") % f, 0) == 0: | ||||
actions['g'].append((f, (flags,), "prompt recreating")) | ||||
|
r23525 | # divergent renames | ||
|
r23526 | for f, fl in sorted(diverge.iteritems()): | ||
|
r23525 | repo.ui.warn(_("note: possible conflict - %s was renamed " | ||
"multiple times to:\n") % f) | ||||
for nf in fl: | ||||
repo.ui.warn(" %s\n" % nf) | ||||
# rename and delete | ||||
|
r23526 | for f, fl in sorted(renamedelete.iteritems()): | ||
|
r23525 | repo.ui.warn(_("note: possible conflict - %s was deleted " | ||
"and renamed to:\n") % f) | ||||
for nf in fl: | ||||
repo.ui.warn(" %s\n" % nf) | ||||
|
r26957 | ### apply phase | ||
if not branchmerge: # just jump to the new rev | ||||
fp1, fp2, xp1, xp2 = fp2, nullid, xp2, '' | ||||
if not partial: | ||||
repo.hook('preupdate', throw=True, parent1=xp1, parent2=xp2) | ||||
# note that we're in the middle of an update | ||||
repo.vfs.write('updatestate', p2.hex()) | ||||
stats = applyupdates(repo, actions, wc, p2, overwrite, labels=labels) | ||||
|
r4915 | if not partial: | ||
|
r22405 | repo.dirstate.beginparentchange() | ||
|
r16551 | repo.setparents(fp1, fp2) | ||
|
r18330 | recordupdates(repo, actions, branchmerge) | ||
|
r19482 | # update completed, clear state | ||
util.unlink(repo.join('updatestate')) | ||||
|
r13561 | if not branchmerge: | ||
|
r4915 | repo.dirstate.setbranch(p2.branch()) | ||
|
r22405 | repo.dirstate.endparentchange() | ||
|
r4915 | finally: | ||
|
r8109 | wlock.release() | ||
|
r10492 | |||
if not partial: | ||||
|
r26752 | repo.hook('update', parent1=xp1, parent2=xp2, error=stats[3]) | ||
|
r10492 | return stats | ||
|
r22902 | |||
|
r27267 | def graft(repo, ctx, pctx, labels, keepparent=False): | ||
|
r22902 | """Do a graft-like merge. | ||
This is a merge where the merge ancestor is chosen such that one | ||||
or more changesets are grafted onto the current changeset. In | ||||
addition to the merge, this fixes up the dirstate to include only | ||||
|
r27267 | a single parent (if keepparent is False) and tries to duplicate any | ||
renames/copies appropriately. | ||||
|
r22902 | |||
ctx - changeset to rebase | ||||
pctx - merge base, usually ctx.p1() | ||||
labels - merge labels eg ['local', 'graft'] | ||||
|
r27267 | keepparent - keep second parent if any | ||
|
r22902 | |||
""" | ||||
|
r24643 | # If we're grafting a descendant onto an ancestor, be sure to pass | ||
# mergeancestor=True to update. This does two things: 1) allows the merge if | ||||
# the destination is the same as the parent of the ctx (so we can use graft | ||||
# to copy commits), and 2) informs update that the incoming changes are | ||||
# newer than the destination so it doesn't prompt about "remote changed foo | ||||
# which local deleted". | ||||
mergeancestor = repo.changelog.isancestor(repo['.'].node(), ctx.node()) | ||||
|
r22902 | |||
|
r27344 | stats = update(repo, ctx.node(), True, True, pctx.node(), | ||
|
r24643 | mergeancestor=mergeancestor, labels=labels) | ||
|
r27267 | pother = nullid | ||
parents = ctx.parents() | ||||
if keepparent and len(parents) == 2 and pctx in parents: | ||||
parents.remove(pctx) | ||||
pother = parents[0].node() | ||||
|
r22902 | repo.dirstate.beginparentchange() | ||
|
r27267 | repo.setparents(repo['.'].node(), pother) | ||
|
r26748 | repo.dirstate.write(repo.currenttransaction()) | ||
|
r22902 | # fix up dirstate for copies and renames | ||
copies.duplicatecopies(repo, ctx.rev(), pctx.rev()) | ||||
repo.dirstate.endparentchange() | ||||
return stats | ||||