how to make julia install a curl that respects the proxy?

[stevengj]

Installing a package here is not using curl, it is using git clone. To tell git to use a proxy, you need to update your .gitconfig settings as described e.g. here or here.