idris2-pack icon indicating copy to clipboard operation
idris2-pack copied to clipboard

Advise users to use --bootstrap when too many versions have been skipped

Open andrevidela opened this issue 6 months ago • 0 comments

There are cases where updating will fail because versions differ too much between the installed version and the latest version. In those cases the compiler needs to be bootstraped, but there is no way to know unless you've done this before.

When the compiler fails to build, we should suggest to the user to run the same command with --bootstrap

andrevidela avatar Aug 22 '24 20:08 andrevidela