Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

CI: Install wget package for Alpine Linux #489

Merged
merged 1 commit into from
Sep 2, 2024
Merged

CI: Install wget package for Alpine Linux #489

merged 1 commit into from
Sep 2, 2024

Conversation

jserv
Copy link
Contributor

@jserv jserv commented Sep 2, 2024

Recently, we have been transitioning from using curl to wget for downloading files from remote hosts. However, the version of wget provided by Alpine Linux is actually a Busybox implementation, which lacks many features found in the full wget package.

Error messages:

  #15 [linux/amd64 base_gcc 5/6] RUN make ENABLE_SDL=0
  #15 0.207 Check the file build/.config for configured items.
  #15 0.360 Fetching prebuilt executables from "rv32emu-prebuilt" ...
  #15 0.361 wget: unrecognized option: show-progress

This commit attempts to install wget package instead.

Recently, we have been transitioning from using curl to wget for
downloading files from remote hosts. However, the version of wget
provided by Alpine Linux is actually a Busybox implementation, which
lacks many features found in the full wget package.

Error messages:
  #15 [linux/amd64 base_gcc 5/6] RUN make ENABLE_SDL=0
  #15 0.207 Check the file build/.config for configured items.
  #15 0.360 Fetching prebuilt executables from "rv32emu-prebuilt" ...
  #15 0.361 wget: unrecognized option: show-progress

This commit attempts to install wget package instead.
@jserv jserv merged commit f72066e into master Sep 2, 2024
20 checks passed
Copy link
Collaborator

@henrybear327 henrybear327 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@jserv jserv deleted the fix-alpine-wget branch September 3, 2024 04:33
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