Curl error in windows while setting up

Stream: general

[Eric L]

Hi, my name is Eric. I'm new here.

I was having some trouble with the installation.

Here was the issue:

$ curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh
curl: (60) SSL certificate problem: self signed certificate in certificate chain
More details here: https://curl.se/docs/sslcerts.html

curl failed to verify the legitimacy of the server and therefore could not
establish a secure connection to it. To learn more about this situation and
how to fix it, please visit the web page mentioned above.

After searching online I tried adding the -k flag as a fix, but that failed to fix the issue:

$ curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -k -sSf | sh
info: downloading installer
curl: (60) SSL certificate problem: self signed certificate in certificate chain
More details here: https://curl.se/docs/sslcerts.html

curl failed to verify the legitimacy of the server and therefore could not
establish a secure connection to it. To learn more about this situation and
how to fix it, please visit the web page mentioned above.
elan: command failed: curl -sSfL -o /dev/null -w %{url_effective} https://github.com/leanprover/elan/releases/latest
curl: (60) SSL certificate problem: self signed certificate in certificate chain
More details here: https://curl.se/docs/sslcerts.html

curl failed to verify the legitimacy of the server and therefore could not
establish a secure connection to it. To learn more about this situation and
how to fix it, please visit the web page mentioned above.
elan: command failed: curl -sSfL https://github.com/leanprover/elan/releases/download/latest/elan-x86_64-pc-windows-msvc.zip -o /tmp/tmp.2nNSk8MpkD/elan-init.zip

Any advice on how to proceed?

[Kevin Buzzard]

The command works for me. Are you behind a firewall or something? What does curl --version return? What is raw.githubusercontent.com resolving to? For me it's 185.199.1xx.133 with xx=08,09,10,11

[Anne Baanen]

I saw this error on a student's Windows computer. It seems like for some reason curl doesn't recognize the SSL certificates although they were installed in the right place. We ended up manually downloading the latest elan-x86_64-pc-windows-msvc.zip from the elan release page: https://github.com/leanprover/elan/releases. Extracting the .zip file and running elan-init.exe successfully installed elan with no further download problems.

[Anne Baanen]

Strangely enough, on the other Windows computers (and Ubuntu) the install script worked without problems.

[Anne Baanen]

(And welcome to the Lean community!)