From 163fcbeb2a09d708f7cb2c67bb97c0d44134b16e Mon Sep 17 00:00:00 2001
From: tcely <tcely@users.noreply.github.com>
Date: Sun, 24 Nov 2024 06:10:30 -0500
Subject: [PATCH] Overwrite the specified file when it already exists

---
 Dockerfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 16d80c09..606984ea 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -81,7 +81,8 @@ RUN decide_arch() { \
       url="$(decide_url "${1}" "${2}")" ; \
       printf -- '%s\n' \
         "Building for arch: ${2}|${ARCH}, downloading ${arg1} from: ${url}, expecting ${arg1} SHA256: ${expected}" && \
-      curl --disable -sSL --output "${file}" --dump-header - "${url}" && \
+      rm -rf "${file}" && \
+      curl --disable -SL --output "${file}" --clobber --dump-header - --no-progress-meter "${url}" && \
       verify_download "${expected}" "${file}" ; \
     } && \
   export ARCH="$(decide_arch)" && \