diff --git a/ci/Dockerfile.in b/ci/Dockerfile.in index 440ad72e63e80dc31d60b45d0c512fc7b11b6d1c..f9613f34218171ec92e58011e2b0cb63aaa0d7b1 100644 --- a/ci/Dockerfile.in +++ b/ci/Dockerfile.in @@ -1,3 +1,4 @@ FROM @BASE_IMAGE@ +COPY sources.list /etc/apt/sources.list.d/pressure-vessel.list RUN apt-get update # vim:set sw=4 sts=4 et ft=dockerfile: diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index 39da68754cee04132e9617ef7bb09da9657cfa1f..3d0876a0bcfc1f1a5f10afeb03dbe48dd89b851e 100644 --- a/ci/Jenkinsfile +++ b/ci/Jenkinsfile @@ -68,6 +68,11 @@ pipeline { sh """ sed -e 's!@BASE_IMAGE@!${env.CI_DOCKER_REGISTRY}/${env.CI_DOCKER_IMAGE}!g' < src/ci/Dockerfile.in > src/ci/Dockerfile + if [ -n "${env.CI_APT_SOURCES_FILE}" ]; then + cp "${env.CI_APT_SOURCES_FILE}" src/ci/sources.list + else + touch src/ci/sources.list + fi """ docker.withRegistry("https://${env.CI_DOCKER_REGISTRY}", dockerRegistryCred) {