diff options
Diffstat (limited to '.extras/docs')
| -rw-r--r-- | .extras/docs/plans/2026-07-13-image-builder.md | 2 |
1 files changed, 1 insertions, 1 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 } |