diff options
author | Harald Welte <laforge@osmocom.org> | 2020-11-02 14:24:39 +0100 |
---|---|---|
committer | Harald Welte <laforge@osmocom.org> | 2020-11-02 17:02:26 +0100 |
commit | 027826fdba19a8211d5787cc80955bdf91336f45 (patch) | |
tree | 11b2f0462699fbc32a644ff3aa9dc838afa3b33b /debian-repo-install-test | |
parent | a90660bef88a6cbb3b6856ec543f7685085bb620 (diff) |
introduce 'REGISTRY' argument to all Dockerfiles
This is initialized to docker.io, keeping the default behaviour
if not specified. However, it allows us to specify a private
registry later on.
Related: OS#4839
Change-Id: I32d4ee6256033c809108c1b86cb6b6c58d880f49
Diffstat (limited to 'debian-repo-install-test')
-rw-r--r-- | debian-repo-install-test/Dockerfile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/debian-repo-install-test/Dockerfile b/debian-repo-install-test/Dockerfile index 5448fd6..e718a23 100644 --- a/debian-repo-install-test/Dockerfile +++ b/debian-repo-install-test/Dockerfile @@ -1,5 +1,6 @@ ARG USER -FROM debian:stretch +ARG REGISTRY=docker.io +FROM ${REGISTRY}/debian:stretch COPY Release.key /tmp/Release.key |