leanprover / elan

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

Eagerly resolve toolchains to canonical, fixed reference #106

Closed Kha closed 2 months ago

Kha commented 12 months ago

This also gets rid of the update-hashes/ directory (it won't literally get rid of it on existing installs but the contents do not matter anymore).

tydeu commented 11 months ago

I would love to see this change! Avoiding multiple installs of the same toolchain under different names would be wonderful (and save me disk space). What will be procedure for users updating elan while already having such toolchains installed (and ones for stable/nightly)?

Kha commented 11 months ago

What will be procedure for users updating elan while already having such toolchain installed (and ones for stable/nightly)?

I would prefer the same simple strategy as getting rid of unused toolchains so far: rm :)