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
Branch
master
Lint
No Linters Available
Unit
No Unit Test Coverage
Build Status
Buildable 9022
Build 13180: arc lint + arc unit

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