opam
الاستخدامات curl
, ، لذلك يمكنك ببساطة الإعداد http_proxy
, HTTPS_PROXY
أو ALL_PROXY
متغير البيئة للإشارة إلى خادم الوكيل الخاص بك.
باستخدام OPAM من خلف جدار الحماية
سؤال
أتساءل ما أحتاج إلى الإعداد حتى يقوم OPAM بتنزيل الحزم من خلال خادم وكيل إذا كنت خلف جدار الحماية.
المحلول
لا تنتمي إلى StackOverflow