Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Add opam error to unclutter output in case of package errors #2133

Open
AltGr opened this issue Apr 24, 2015 · 0 comments
Open

Add opam error to unclutter output in case of package errors #2133

AltGr opened this issue Apr 24, 2015 · 0 comments

Comments

@AltGr
Copy link
Member

AltGr commented Apr 24, 2015

and easily browse/report the logs. That would be better than the current middle-ground with error messages a bit too long, including pointers to several different log files, and a bit of the output that doesn't always include the relevant information.

The stdout/stderr snipped could be kept, but removing all the logs and just advertising opam error (maybe just once at the end: there were some errors, run "opam error" to see the logs) would be nicer.

See #2111 for the origin of the idea.

@AltGr AltGr added this to the Next milestone Apr 24, 2015
@samoht samoht mentioned this issue Apr 24, 2015
@AltGr AltGr mentioned this issue Dec 18, 2015
@rjbou rjbou removed this from the Next milestone May 20, 2020
# for free to join this conversation on GitHub. Already have an account? # to comment
Projects
None yet
Development

No branches or pull requests

2 participants