Page MenuHomeSoftware Heritage

docker-dev: Migrate to new debian loader
ClosedPublic

Authored by ardumont on Nov 14 2019, 1:46 PM.

Diff Detail

Repository
rCDFD Dockerfiles for developers
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.

Event Timeline

ardumont created this revision.Nov 14 2019, 1:46 PM
ardumont retitled this revision from Migrate to new debian loader to docker-dev: Migrate to new debian loader.Nov 14 2019, 1:47 PM
anlambert accepted this revision.Nov 14 2019, 1:50 PM
anlambert added a subscriber: anlambert.

Looks good.

This revision is now accepted and ready to land.Nov 14 2019, 1:50 PM

I don't like how deep the storage config gets, but ok

vlorentz accepted this revision.Nov 14 2019, 1:50 PM
ardumont updated this revision to Diff 7835.Nov 14 2019, 2:49 PM

Add missing configuration part

ardumont updated this revision to Diff 7836.Nov 14 2019, 2:50 PM

Correctly indent configuration