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 Dec 21 2022, 11:08 AM
Differential Revision
D8961: Update jenkins docker configuration for testing job builder
Parents
rCJSWH0b9a185e81ea: docker/plugins.txt: Synchronize plugins list with swh jenkins instance
Branches
Unknown
Tags
Unknown