idris2-pack
idris2-pack copied to clipboard
Advise users to use --bootstrap when too many versions have been skipped
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