باستخدام OPAM من خلف جدار الحماية

سؤال

أتساءل ما أحتاج إلى الإعداد حتى يقوم OPAM بتنزيل الحزم من خلال خادم وكيل إذا كنت خلف جدار الحماية.

المحلول

opam الاستخدامات curl, ، لذلك يمكنك ببساطة الإعداد http_proxy, HTTPS_PROXY أو ALL_PROXY متغير البيئة للإشارة إلى خادم الوكيل الخاص بك.

مرخصة بموجب: CC-BY-SA مع الإسناد

لا تنتمي إلى StackOverflow