leanprover / elan

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

Possible Crash Due to Environment Variable Limitation #127

Open DorinXL opened 3 months ago

DorinXL commented 3 months ago

Issue Description: While attempting to run elan-init.exe, I encountered a crash scenario. Specifically, upon running the program, the command prompt window disappears immediately, and I'm unable to obtain any error message or further feedback.

Environment Details: Windows 10 and elan-init.exe

Troubleshooting Process: I noticed that the number of system environment variables in the Path variable exceeded a certain limit. This led me to suspect whether the crash was caused by the limitation of environment variables. I attempted to delete some environment variables and re-ran elan-init.exe. The result was that the program ran successfully and entered the download phase. This further strengthens my suspicion that the crash is caused by the limitation of environment variables.