Usage
Generate an index with
$ GH_TOKEN="****" ./generate-index.sh
Just ./generate-index.sh can work if GH_TOKEN is not set, but it usually gets rate-limited by the GitHub API.
By default, the index is written in index.json in the current directory. Pass --output custom.json to write to another file.
(Non) use by coursier
The index generated here could be used by the java and java-home commands of coursier, but it's not yet.
coursier currently relies on the index from the jabba project, which is regularly updated.
The index generated by the script here could either complement, or replace if needed, the index from jabba at some point.
About
Copyright (c) 2020, Alexandre Archambault
Licensed under the Apache version 2 license.