installation problems on windows

Stream: general

[zzsj]

when i install the lean follow the steps in lean community, there are something wrong. when i typed the code "curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh " in git bash, the output is following screen
JDY9GWZDLCZUOM_TYMHKR.png
i do not know why, who can figure out the problem

[Anne Baanen]

Looks like it can't connect to the server. Please make sure you are connected to the internet on that computer, then you can try again and it should work hopefully.

[zzsj]

yes, i think so. And I have saw the download progress in vscode as this image. J8UR_IEWS8DTFN3NV4.png
The net is really slow. But the internet is right when i do other things. So I think that there are other problems.

[Alex J. Best]

Looks like there are just intermittent connection issues, you could just keep retrying until it luckily works.

[Alex J. Best]

It would be great if elan could resume previous downloads (I don't think it has this feature right?) likewise for leanproject

[zzsj]

Alex J. Best said:

It would be great if elan could resume previous downloads (I don't think it has this feature right?) likewise for leanproject

It could not. And I have tried several times :sob:

[Eric Wieser]

Based on my guess of the language at the bottom of your screenshot (and lots of previous users having this problem); are you having national firewall issues?

[zzsj]

Eric Wieser said:

Based on my guess of the language at the bottom of your screenshot (and lots of previous users having this problem); are you having national firewall issues?

Yes, you are right. I am from China. But I have tried to avoid this by vpn, and i can visit other webs such as youtube. It still does not work.

[Alex J. Best]

If you manually download the windows zip file from the URL in the Error message (the line in red near the bottom of your screenshot) using your web browser, does that work?

[zzsj]

I have solved it. Thank you for all the friends who made suggestions!