Success! After spending a few hours with ChatGPT o3, I have finally managed to cast an incantation that seems to work! Some of the steps might be not necessary, and I might play with the script some more to experiment what can be safely removed.
TL;DR of the two critical steps:
- Need to compile Erlang with the right certificates (just using the binaries doesn’t seem to work). That’s unfortunate, as compiling Erlang takes the most amount of time (be patient!)
- Need to use a different Hex proxy
jsDeliverfrom Mirrors | Hex; the official one doesn’t seem to work
Here is the script - let me know if it works for you, and how we can eliminate the unnecessary settings.
