Zulip Chat Archive

Stream: new members

Topic: installation problem "elan failed with error code 1"


Richard Pacheco (Apr 20 2024 at 00:23):

followup (problem solved):
I created a lean project within vs code first and then ran the elan installation and I was able to build a hello world project.

original question :
Hello. I'm trying to install lean but I get the following error message: info: downloading installer to C:\Users\rpacz\AppData\Local\Temp\ error: could not create link from 'C:\Users\rpacz\.elan\bin\elan.exe' to 'C:\Users\rpacz\.elan\bin\leanc.exe'
Elan failed with error code 1
this is in windows 11. I tried to install elan from within vs code


Last updated: May 02 2025 at 03:31 UTC