https://stackoverflow.com/questions/19823956
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russianopam Verwendet curl, Sie können einfach einfach einrichten http_proxy, HTTPS_PROXY oder ALL_PROXY Umgebungsvariable, um auf Ihren Proxy -Server hinzuweisen.
Verwenden von Opam hinter einer Firewall
Frage
Ich frage mich, was ich einrichten muss, damit OPAM Pakete über einen Proxy -Server herunterlädt, wenn ich hinter einer Firewall bin.
Lösung
Lizenziert unter: CC-BY-SA mit Zuschreibung
Nicht verbunden mit StackOverflow
