equal
deleted
inserted
replaced
512 repo.dirstate.read() |
512 repo.dirstate.read() |
513 dc = repo.dirstate.map |
513 dc = repo.dirstate.map |
514 keys = dc.keys() |
514 keys = dc.keys() |
515 keys.sort() |
515 keys.sort() |
516 for file_ in keys: |
516 for file_ in keys: |
517 ui.write("%c %s\n" % (dc[file_][0], file_)) |
517 ui.write("%c %3o %10d %s %s\n" |
|
518 % (dc[file_][0], dc[file_][1] & 0777, dc[file_][2], |
|
519 time.strftime("%x %X", |
|
520 time.localtime(dc[file_][3])), file_)) |
518 |
521 |
519 def debugindex(ui, file_): |
522 def debugindex(ui, file_): |
520 """dump the contents of an index file""" |
523 """dump the contents of an index file""" |
521 r = hg.revlog(hg.opener(""), file_, "") |
524 r = hg.revlog(hg.opener(""), file_, "") |
522 ui.write(" rev offset length base linkrev" + |
525 ui.write(" rev offset length base linkrev" + |