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 retitled this revision from Migrate to new debian loader to docker-dev: Migrate to new debian loader.Nov 14 2019, 1:47 PM
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

Add missing configuration part

Correctly indent configuration