custom lean in elan

Stream: general

[Reid Barton]

Is there some low-tech way to just copy files in ~/.elan around if I want to try running Lean with a modified core library?
Say by cd ~/.elan; cp -a lean-3.4.1 lean-3.4.1a? Probably I need to do something else, as well?

[Gabriel Ebner]

This should work. You can also add symlinks to a lean git checkout.

[Reid Barton]

It did just work.