alire icon indicating copy to clipboard operation
alire copied to clipboard

`alr toolchain` accepts twice the same tool in the command line and eventually errs obscurely with an exception

Open mosteo opened this issue 2 years ago • 0 comments

E.g.:

$ alr toolchain --select gnat_native gnat_native
error: Alire.Containers.Crate_Name_Sets.Insert: attempt to insert element already in set
error: alr encountered an unexpected error, re-run with -d for details.

We should reject it earlier with a nicer error message

mosteo avatar Jun 09 '22 09:06 mosteo