https://stackoverflow.com/questions/19823956
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russianopam usi curl, quindi puoi semplicemente configurare http_proxy, HTTPS_PROXY o ALL_PROXY Variabile di ambiente per indicare il tuo server proxy.
Usando Opam da dietro un firewall
Domanda
Mi chiedo cosa devo configurare in modo che OPAM scaricherà i pacchetti tramite un server proxy se sono dietro un firewall.
Soluzione
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a StackOverflow
