Why do I have duplicate toolchains?

Stream: new members

[Jens Petersen]

Does vscode use separate toolchains to the elan default ones?

eg when I run elan toolchain list, I see

leanprover/lean4:4.12.0
leanprover/lean4:nightly-2024-09-17
leanprover/lean4:v4.11.0
leanprover/lean4:v4.12.0
leanprover/lean4:v4.12.0-rc1
4.9.1
4.11.0
4.12.0 (default)

I guess I would prefer not to have duplicate toolchains installed if possible, since they are like 1GB a piece.

[Ruben Van de Velde]

No, it uses the same ones. I'm surprised that you've got three different patterns of version strings, though

[Jens Petersen]

Me too... that's why I ask, so maybe it is something else then hmm

[Sebastian Ullrich]

This issue will be resolved in the next version of elan

[Jens Petersen]

Would you suggest trying elan.git or better just to wait?