Использование опама из-за брандмауэра
Мне интересно, что мне нужно настроить, чтобы opam загружал пакеты через прокси-сервер, если я нахожусь за брандмауэром.
1 ответ
Решение
opam использования curl, так что вы можете просто настроить http_proxy, HTTPS_PROXY или же ALL_PROXY переменная окружения, указывающая на ваш прокси-сервер.