Skip to content

Fix install location - #181

Closed
shonfeder wants to merge 1 commit into
mainfrom
shonfeder-patch-1
Closed

Fix install location#181
shonfeder wants to merge 1 commit into
mainfrom
shonfeder-patch-1

Conversation

@shonfeder

Copy link
Copy Markdown
Member

No description provided.

Comment thread static/install
tar_target_name="dune-$target"
tar_target="$tar_target_name.tar.gz"
dune_tar_uri="https://nightly.dune.build/latest/$target"
dune_tar_uri="https://get.dune.build/latest/$target"

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

This change won't work, as https://get.dune.build/latest/$target is not an URL that exists.

This URL is pointing to the Dream web server from this repo which has a route for /latest/$target, looks up the $target in the metadata.json and returns a redirect to get.dune.build with the path to the tarball with the latest date (for that target).

Meanwhile, get.dune.build is just simply a web server that serves static files, without any processing.

@shonfeder shonfeder closed this Nov 28, 2025
@shonfeder
shonfeder deleted the shonfeder-patch-1 branch November 28, 2025 04:08
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