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