Page MenuHomeSoftware Heritage

sphinx: add the crudini tool
ClosedPublic

Authored by douardda on Fri, Nov 30, 11:48 AM.

Details

Summary

so we can easily manipulate the .mrconfig file (ie. delete unwanted sections).

Diff Detail

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

Event Timeline

douardda created this revision.Fri, Nov 30, 11:48 AM
vlorentz accepted this revision.Fri, Nov 30, 12:01 PM
This revision is now accepted and ready to land.Fri, Nov 30, 12:01 PM
This revision was automatically updated to reflect the committed changes.