Использование Opam из -за брандмауэра

Question

Мне интересно, что мне нужно настроить, чтобы Opam загрузил пакеты через прокси -сервер, если я за брандмауэром.

Answer 1

opam Использование curl, так что вы можете просто настроить http_proxy, HTTPS_PROXY или же ALL_PROXY Переменная среда, чтобы указать на ваш прокси -сервер.