Page MenuHomeSoftware Heritage

Sort from_disk.Directory entries.
ClosedPublic

Authored by vlorentz on Feb 20 2020, 4:47 PM.

Details

Reviewers
anlambert
olasd
Group Reviewers
Reviewers
Summary

It should be cheap enough to do it, and it makes tests easier.

Depends on D2704.

Diff Detail

Repository
rDMOD Data model
Branch
sort-entries
Lint
No Linters Available
Unit
No Unit Test Coverage
Build Status
Buildable 10717
Build 16079: tox-on-jenkinsJenkins
Build 16078: arc lint + arc unit

Event Timeline

This revision is now accepted and ready to land.Feb 20 2020, 5:19 PM

I think it makes sense to sort the entries, but I think we should really do it the same way the directory identifiers want the entries sorted;

This means using linus's very nice "directories have a / appended to their names" sort instead of a simple sort.

This revision is now accepted and ready to land.Feb 21 2020, 12:03 PM

4c070f98ca09255a54fb3fc9efbcf9d6e099ac96