Add case for docker.io prefix

2026-06-18 14:23:07 -04:00 · 2023-03-19 20:04:54 +00:00
parent 335c3c7540
commit 7c40ea22eb
1 changed files with 4 additions and 0 deletions
@@ -211,6 +211,10 @@ run_mods() {
            REGISTRY="quay.io"
            DOCKER_MOD="${DOCKER_MOD#quay.io/*}"
            ;;
+        docker.io )
+            REGISTRY="registry-1.docker.io"
+            DOCKER_MOD="${DOCKER_MOD#docker.io/*}"
+            ;;
        * )
            REGISTRY="registry-1.docker.io"
            ;;