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

fix: Use proper path for wave fetch. #2177 #2183

Merged
merged 1 commit into from
Nov 3, 2023
Merged

Conversation

YashasviMantha
Copy link
Contributor

@YashasviMantha YashasviMantha commented Nov 3, 2023

URL generated for fetching should be of the format: wave-{version}-{operating_system}-{arch}

But the fetch url being generated was using platform instead of the operating_system.

Since this variable is set on the build time. Changed the hatch_build.py file. This will also change the metadata.py file that gets generated.

Closes #2177

The PR fulfills these requirements: (check all the apply)

  • It's submitted to the main branch.
  • When resolving a specific issue, it's referenced in the PR's title (e.g. feat: Add a button #xxx, where "xxx" is the issue number).
  • When resolving a specific issue, the PR description includes Closes #xxx, where "xxx" is the issue number.
  • If changes were made to ui folder, unit tests (make test) still pass.
  • New/updated tests are included

URL  should begenerated for fetching should be  of the format: `wave-{version}-{operating_system}-{arch}`

But the fetch url being generated was using `platform` instead of the `operating_sysyem`.

Since this variable is set on the build time. Changed the `hatch_build.py` file. This will also change the `metadata.py` file that gets generated.

Refs: h2oai#2177 (closes this issue)#
@YashasviMantha YashasviMantha changed the title fix: wave fetch failing because of incorrect url generation. fix: wave fetch failing because of incorrect url generation. #2177 Nov 3, 2023
@mturoci mturoci changed the title fix: wave fetch failing because of incorrect url generation. #2177 fix: Use proper path for wave fetch. #2177 Nov 3, 2023
Copy link
Collaborator

@mturoci mturoci left a comment

Choose a reason for hiding this comment

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

LGTM, thanks @YashasviMantha! Kudos for being able to navigate the whole build system almost completely on your own :)

@mturoci mturoci merged commit 94bf37f into h2oai:main Nov 3, 2023
2 checks passed
@mturoci mturoci mentioned this pull request Feb 6, 2024
mturoci pushed a commit that referenced this pull request Feb 7, 2024
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.

Wave fetch throws an error
2 participants