diff options
Diffstat (limited to '.extras')
| -rw-r--r-- | .extras/docs/plans/2026-07-13-image-builder.md | 2 | ||||
| -rw-r--r-- | .extras/image-builder/lib.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/.extras/docs/plans/2026-07-13-image-builder.md b/.extras/docs/plans/2026-07-13-image-builder.md index 60df338..0c61051 100644 --- a/.extras/docs/plans/2026-07-13-image-builder.md +++ b/.extras/docs/plans/2026-07-13-image-builder.md @@ -102,7 +102,7 @@ fetch() { [[ -f "$path" ]] || return 1 cp "$path" "$dest" else - curl -sfL --connect-timeout 60 "$src" -o "$dest" + curl -sSfL --connect-timeout 60 "$src" -o "$dest" fi } diff --git a/.extras/image-builder/lib.sh b/.extras/image-builder/lib.sh index 50dda16..6cd9e4e 100644 --- a/.extras/image-builder/lib.sh +++ b/.extras/image-builder/lib.sh @@ -41,7 +41,7 @@ fetch() { [[ -f "$path" ]] || return 1 cp "$path" "$dest" else - curl -sfL --connect-timeout 60 "$src" -o "$dest" + curl -sSfL --connect-timeout 60 "$src" -o "$dest" fi } |