Skip to content

Instantly share code, notes, and snippets.

@vietlq
Forked from jonatanrdsantos/curl-problem.md
Created December 24, 2017 19:58
Show Gist options
  • Save vietlq/60bc044ca46c2ead6b692e1bcd599403 to your computer and use it in GitHub Desktop.
Save vietlq/60bc044ca46c2ead6b692e1bcd599403 to your computer and use it in GitHub Desktop.
curl port 443: Network is unreachable problem

How to solve the curl port 443: Network is unreachable problem:

joridos@localhost:~/Documents/github$ opam init
default    Downloading https://opam.ocaml.org/urls.txt
'opam init' failed.
# opam-version    1.1.1
# os              linux
Cannot download https://opam.ocaml.org/urls.txt, please check your connection settings.
joridos@localhost:~/Documents/github$ curl https://opam.ocaml.org/urls.txt
curl: (7) Failed to connect to opam.ocaml.org port 443: Network is unreachable

just do it:

echo ipv4 >> ~/.curlrc
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment