From 5ae558a1f6a2285d1ef6066658b44ce13eb77f61 Mon Sep 17 00:00:00 2001 From: cytopia Date: Sun, 23 Oct 2022 19:45:57 +0200 Subject: [PATCH] Only pull unique docker images --- Makefile.docker | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.docker b/Makefile.docker index 1cae817..e973358 100644 --- a/Makefile.docker +++ b/Makefile.docker @@ -189,7 +189,7 @@ docker-pull-base-image: @echo "################################################################################" @echo "# Pulling Base Image $(shell grep FROM $(DIR)/$(FILE) | sed 's/^FROM\s*//g';) (platform: $(ARCH))" @echo "################################################################################" - @grep FROM $(DIR)/$(FILE) | sed 's/^FROM\s*//g' | sed 's/\s.*$$//g' | while read -r line; do \ + @grep FROM $(DIR)/$(FILE) | sed 's/^FROM\s*//g' | sed 's/\s.*$$//g' | sort -u | while read -r line; do \ echo "docker pull --platform $(ARCH) $${line}"; \ while ! docker pull --platform $(ARCH) $${line}; do sleep 1; done \ done