search

leanprover / elan

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

elan toolchain list missing info #49

Open lovettchris opened 2 years ago

lovettchris commented 2 years ago

It would be very useful if elan toolchain list also reported the path that a "linked" toolchain is pointing to. For example, today I get this output:

stable (default)
leanprover/lean:stable
master
vtec

but it would be cool if the last 2 which are linked to a local path on my PC told me that path, kind of "ls -al" does. Something like this:

stable (default)
leanprover/lean:stable
master                    -> /c/msys64/home/clovett/git/lean4/build/release/stage1
vtec                      -> /c/msys64/home/clovett/git/Vtec234/lean4/build/release/stage1
gebner commented 2 years ago

It would also be cool if the output was machine-readable.

lovettchris commented 2 years ago

Yeah the "(default)" string also needs careful management in code, we could have a elan toolchain list --json option perhaps.