Download mirror support

[xepaul]

Please can a custom binaries url be supported for use in the enterprise.

Setting a Path variable like chromedriver would work well.

Thanks

https://github.com/giggio/node-chromedriver/

https://www.npmjs.com/package/chromedriver

[hdgarrood]

Can you provide a bit more context on why this would be useful please?

[xepaul]

The current script can not be used when run behind a firewall, github.com is not available.
Thanks

[xepaul]

A local enterprise version of NPM is being used.

[xepaul]

A path needs to be able to be set to download pure script from a mirror instead of github.com like purescript_downloadUrl=https://npm.xyz.org/mirrors/purescript

[hdgarrood]

Right, that makes sense, thanks. Where are you imagining mirrors will be hosted though?

[xepaul]

Internally in the enterprise inside the firewall.

[hdgarrood]

So your plan is to get around the firewall each time there's a compiler release in order to download each of the binaries from the normal location, and then make them available internally? Fair enough.

When implementing this, if a mirror is set, we should ensure that we're using the source tarball from the same location too (i.e. not github) in the case where we fall back to building from source.

[xepaul]

Yes that’s correct the binaries would be made available internally. Yes seems logical to have the source on the fallback scenario.