HomeSoftware Heritage

docker: Improve configuration

Description

docker: Improve configuration

Prefer to mount volumes instead of copying docker folder in Dockerfile.

It enables to take modifications of jenkins plugins list configuration,
jenkins job builder configuration or jenkins service entrypoint into
account without having to rebuild the docker image.

Details

Provenance
anlambertAuthored on Dec 15 2022, 6:04 PM
anlambertPushed on Jan 3 2023, 11:49 AM
Differential Revision
D8961: Update jenkins docker configuration for testing job builder
Parents
rCJSWH63e63c29c4d4: docker/plugins.txt: Synchronize plugins list with swh jenkins instance
Branches
Unknown
Tags
Unknown