Explicitly name registries to enable building on podman

Closes: #223
RIOT-OS · Oct 12, 2023 · 17b772d · 17b772d
1 parent fe50bda
commit 17b772d
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/murdock-worker/Dockerfile b/murdock-worker/Dockerfile
@@ -3,7 +3,7 @@
 #
 # the resulting image is being used in RIOT's CI (Murdock)
 
-ARG DOCKER_REGISTRY="riot"
+ARG DOCKER_REGISTRY="docker.io/riot"
 FROM ${DOCKER_REGISTRY}/riotbuild:latest
 
 LABEL maintainer="Kaspar Schleiser <[email protected]>"

diff --git a/riotbuild/Dockerfile b/riotbuild/Dockerfile
@@ -19,7 +19,7 @@
 # Usage:
 # 1. cd to riot root
 # 2. # docker run -i -t -u $UID -v $(pwd):/data/riotbuild riotbuild ./dist/tools/compile_test/compile_test.py
-ARG DOCKER_REGISTRY="riot"
+ARG DOCKER_REGISTRY="docker.io/riot"
 FROM ${DOCKER_REGISTRY}/static-test-tools:latest
 
 LABEL maintainer="Kaspar Schleiser <[email protected]>"

diff --git a/static-test-tools/Dockerfile b/static-test-tools/Dockerfile
@@ -1,4 +1,4 @@
-ARG DOCKER_REGISTRY="riot"
+ARG DOCKER_REGISTRY="docker.io/riot"
 FROM ${DOCKER_REGISTRY}/riotdocker-base:latest
 
 LABEL maintainer="[email protected]"