Skip to content

Add ftpmirror.gnu.org as primary and add fallback for bison download - #78

Merged
akashlevy merged 2 commits into
mainfrom
bison-mirror
Aug 27, 2026
Merged

Add ftpmirror.gnu.org as primary and add fallback for bison download#78
akashlevy merged 2 commits into
mainfrom
bison-mirror

Conversation

@gigeresk

Copy link
Copy Markdown

No description provided.

@greptile-apps

greptile-apps Bot commented Aug 27, 2026

Copy link
Copy Markdown

Greptile Summary

This follow-up updates the Bison download fallback so both mirrors write to the same explicit output path, ensuring the fallback replaces any partial primary download.

  • Uses ftpmirror.gnu.org as the primary Bison mirror.
  • Retains mirrors.kernel.org as the fallback.
  • Fixes the previously reported numbered-filename behavior by supplying -O to both wget commands.

Confidence Score: 5/5

The PR appears safe to merge.

No blocking failure remains; the fallback writes directly over any partial primary archive, and extraction runs only after a download command succeeds.

Important Files Changed

Filename Overview
Dockerfile.centos7 The fallback now truncates and replaces the primary output file before extraction, resolving the prior partial-archive issue.

Reviews (2): Last reviewed commit: "Account for partial downloads" | Re-trigger Greptile

Comment thread Dockerfile.centos7 Outdated
@gigeresk

Copy link
Copy Markdown
Author

@greptile

@akashlevy
akashlevy merged commit a8e6bf5 into main Aug 27, 2026
9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants