elan update downloads lean twice

Stream: new members

[Marcelo Fornet]

When I run elan update, I see the following logs:

❯ elan update
info: syncing channel updates for 'stable'
info: latest update on stable, lean version v4.13.0
info: downloading component 'lean'
Total: 223.9 MiB Speed:  31.3 MiB/s
info: installing component 'lean'
info: syncing channel updates for 'nightly'
info: latest update on nightly, lean version nightly-2024-11-28
info: downloading component 'lean'
Total: 245.1 MiB Speed:  28.4 MiB/s
info: installing component 'lean'
info: syncing channel updates for 'nightly'
info: latest update on nightly, lean version nightly-2024-11-28
info: downloading component 'lean'
Total: 245.1 MiB Speed:  86.2 MiB/s
info: installing component 'lean'
info: syncing channel updates for 'stable'
info: latest update on stable, lean version v4.13.0
info: downloading component 'lean'
Total: 223.9 MiB Speed:  93.8 MiB/s
info: installing component 'lean'

                    stable updated - Lean (version 4.13.0, x86_64-apple-darwin22.6.0, commit 6d22e0e5cc5a, Release)
                   nightly updated - Lean (version 4.15.0-nightly-2024-11-28, x86_64-apple-darwin22.6.0, commit 6d495586a183, Release)
  leanprover/lean4:nightly updated - Lean (version 4.15.0-nightly-2024-11-28, x86_64-apple-darwin22.6.0, commit 6d495586a183, Release)
   leanprover/lean4:stable updated - Lean (version 4.13.0, x86_64-apple-darwin22.6.0, commit 6d22e0e5cc5a, Release)

Is it expected that it downloads stable and nightly twice, or is there something off in my setup?

[Eric Wieser]

It looks like you have the stable toolchain installed under two different names

[Eric Wieser]

What does elan toolchain list say?

[Marcelo Fornet]

❯ elan toolchain list
stable
nightly
leanprover-community/lean:3.39.1
leanprover/lean4:4.0.0
leanprover/lean4:4.13.0
leanprover/lean4:nightly
leanprover/lean4:nightly-2023-02-12
leanprover/lean4:stable (default)
leanprover/lean4:v4.1.0-rc1
leanprover/lean4:v4.10.0-rc2
leanprover/lean4:v4.11.0
leanprover/lean4:v4.11.0-rc2
leanprover/lean4:v4.13.0
leanprover/lean4:v4.2.0-rc4
leanprover/lean4:v4.3.0-rc2
leanprover/lean4:v4.5.0
leanprover/lean4:v4.5.0-rc1
leanprover/lean4:v4.6.0-rc1
leanprover/lean4:v4.6.1
leanprover/lean4:v4.8.0-rc2

[Eric Wieser]

You might want to just uninstall elan and let it install just the toolchains you're actually using; I doubt you need all those old versions lying around, and you can always reinstall them if you do

[Eric Wieser]

(though obviously do not do that if you are going offline for a while and will need old toolchains while offline!)

[Marcelo Fornet]

is the simpler solution uninstalling elan all-together, instead of uninstalling individual entries that I won't use. I'm wondering in case this will happen in 6 months again.

[Marcelo Fornet]

btw, what is the recommended stable toolchain, is it stable or leanprover/lean4:stable?