방화벽 뒤에서 OPAM을 사용합니다

StackOverflow https://stackoverflow.com/questions/19823956

  •  04-07-2022
  •  | 
  •  

문제

방화벽 뒤에있는 경우 Opam이 프록시 서버를 통해 패키지를 다운로드하도록 설정 해야하는 것을 궁금합니다.

도움이 되었습니까?

해결책

opam 용도 curl, 따라서 간단히 설정할 수 있습니다 http_proxy, HTTPS_PROXY 또는 ALL_PROXY 프록시 서버를 가리킬 환경 변수.

라이센스 : CC-BY-SA ~와 함께 속성
제휴하지 않습니다 StackOverflow
scroll top