Incorrect message on windows for updating environment vars #6134
Description
On windows, I get a message to run eval $(opam env). E.g.:
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build coq-core 8.19.2
+-
- No changes have been performed
# Run eval $(opam env) to update the current shell environment
If I do, my $PATH is totally messed up and opam is no longer in the path.
Instead, it seems I should be using the command provided in a blog post here:
https://opam.ocaml.org/blog/opam-2-2-0-windows/
On second inspection, It seems that this only happens in my mingw shell, in powershell I get the correct command.
But either way running eval $(opam env) in the mingw shell does not produce the correct results.