search

leanprover / elan

The Lean version manager
Apache License 2.0
292 stars 34 forks source link

Can't install via vscode in windows because raw.githubusercontent.com/leanprover/elan/master/elan-init.ps1 not exist #100

Closed linonetwo closed 1 year ago

linonetwo commented 1 year ago 
Start-BitsTransfer -Source "https://raw.githubusercontent.com/leanprover/elan/master/elan-init.ps1" -Destination "elan-init.ps1"

failed because https://raw.githubusercontent.com/leanprover/elan/master/elan-init.ps1 is 404

linonetwo commented 1 year ago

Soved by download elan-x86_64-pc-windows-msvc.zip from github release

Kha commented 1 year ago

All I can say from here is that that URL definitely exists

linonetwo commented 1 year ago

Ok, it should be a severe network error on my side.