This repository was archived by the owner on Nov 25, 2025. It is now read-only.
update source query and avoid percent encoding urls when downloading from mirrors #469
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
The
toStringfunction onvscode.Uriwill aggressively apply percent encoding even if unnecessary for some character+component cases.This affects the
+in the filename of nightly versions and the=in the query parameter. While it is valid to percent encode even if unnecessary, this can still lead to confusion about whether the url is valid if the reader is unfamiliar with the rules around percent encoding.There is no downside to just using
URLinstead ofvscode.Uriso that we get more readable urls. This can be especially helpful if the encoded url happens to be shown to the extension user through the error message of an exception as an example.closes #468
I also updated
sourcequery parameter fromvscode-zigtogithub-ziglang-vscode-zigto be similar to what mlugg/setup-zig does.