| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
최인영
가입: 2024년 3월 10일
올린 글: 4
|
 올려짐: 2024년3월10일 17:54 주제: [OCaml 설치] opam init 과정 중 문제 |
 |
|
안녕하세요,
windows에서 ubuntu 설치하여 진행하고 있습니다.
그런데 단계에서 계속
| 코드: | No configuration file found, using built-in defaults.
Checking for available remotes: rsync and local, git, mercurial, darcs. Perfect!
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[ERROR] Could not update repository "default": OpamDownload.Download_fail(_, "curl:
code 502 while downloading https://opam.ocaml.org/index.tar.gz")
[ERROR] Initial download of repository failed. |
의 error 메시지가 떠서 설치가 진행되지 않습니다.
https://opam.ocaml.org/ 웹사이트도 지금 502 bad gateway error이 나타나고 있는데 이가 일시적인지, 혹은 저만 그런지 알고 싶습니다.
또, 다른 방식으로 설치할 방법이 있을까요?
예를 들어, tar.gz 파일을 따로 받아 이를 통해 opam init을 하던가의 방식으로 설치할 수 없을까요?
읽어 주셔서 감사합니다! |
|
| 위로 |
|
 |
이재호
Site Admin
가입: 2022년 3월 6일
올린 글: 209
|
| 올려짐: 2024년3월10일 18:05 주제: OPAM 공식 서버가 불안정한 듯 합니다. |
|
|
안녕하세요,
설치가 잘 이루어지지 않아 답답하셨을 텐데요, OPAM 공식 서버가 불안정한 듯 합니다.
어제부터 설치 중 502 에러가 발생하는 일이 일어나고 있는 것으로 확인했습니다.
그러다가 또 작동이 되어서 다시 시도해보면 진행이 되었습니다..
현재는 저도 `opam update`에 문제가 발생하는데요, 잠시 후 다시 한 번 시도해보시기 바랍니다.
조교 드림
TA 이재호
e-mail: jhlee@ropas.snu.ac.kr |
|
| 위로 |
|
|
이재호
Site Admin
가입: 2022년 3월 6일
올린 글: 209
|
| 올려짐: 2024년3월10일 18:09 주제: |
|
|
| 아! 지금은 또 진행이 됩니다. 여러 번 시도해 보시면 될 것 같습니다. |
|
| 위로 |
|
|
최인영
가입: 2024년 3월 10일
올린 글: 4
|
| 올려짐: 2024년3월10일 20:06 주제: |
|
|
| 아 그러네요! 감사합니다! |
|
| 위로 |
|
|
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
