universal coursier native launcher download script #2894
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.
This is a partial implementation in response to #2647
It provides a quick way for someone running in a
bash
shell to download the native launcher.It's mostly just a combination into a single script of instructions at https://get-coursier.io/docs/cli-installation, although it also explicitly supports
Windows
shell environment bash sessions.There are 2 new sections on the doc page, one for the 'universal' installer, the other for
Windows
shell environments.It's
universal
in the sense that it supports all the major operation systems, although Windows users not running in a shell environment aren't supported.The installer script is initially in
.github/scripts/install-coursier.sh
, please suggest a different location if appropriate.I'm not sure where to add the code to copy the script to the
raw
location to make it available at the url.Manually verified that the script works in each of the following environments from a bash session: