HomeSoftware Heritage

docker: Improve configuration

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

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

Commit No Longer Exists

This commit no longer exists in the repository.