Using opam from behind a firewall

StackOverflow https://stackoverflow.com/questions/19823956

  •  04-07-2022
  •  | 
  •  

Question

I'm wondering what I need to setup so that opam will download packages through a proxy server if I'm behind a firewall.

Was it helpful?

Solution

opam uses curl, so you can simply setup http_proxy, HTTPS_PROXY or ALL_PROXY environment variable to point to your proxy server.

Licensed under: CC-BY-SA with attribution
Not affiliated with StackOverflow
scroll top