equal
deleted
inserted
replaced
525 repo.dirstate.read() |
525 repo.dirstate.read() |
526 dc = repo.dirstate.map |
526 dc = repo.dirstate.map |
527 keys = dc.keys() |
527 keys = dc.keys() |
528 keys.sort() |
528 keys.sort() |
529 for file_ in keys: |
529 for file_ in keys: |
530 ui.write("%c %s\n" % (dc[file_][0], file_)) |
530 ui.write("%c %3o %10d %s %s\n" |
|
531 % (dc[file_][0], dc[file_][1] & 0777, dc[file_][2], |
|
532 time.strftime("%x %X", |
|
533 time.localtime(dc[file_][3])), file_)) |
531 |
534 |
532 def debugindex(ui, file_): |
535 def debugindex(ui, file_): |
533 """dump the contents of an index file""" |
536 """dump the contents of an index file""" |
534 r = hg.revlog(hg.opener(""), file_, "") |
537 r = hg.revlog(hg.opener(""), file_, "") |
535 ui.write(" rev offset length base linkrev" + |
538 ui.write(" rev offset length base linkrev" + |