-
Notifications
You must be signed in to change notification settings - Fork 91
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Better interaction with pagers (Broken pipe) #287
Comments
Are you aware what's the proper behavior? Detect an ignore |
Yes, I guess that catching an error and exit the process is fine. I had searched web and found corresponding Rust issue: rust-lang/rust#46016. |
See also: The simplest possible fix is to stop ignoring the |
Ignore would IMHO be suitable behavior if there were any valuable processing done. It may or may not be suitable for a |
Since the result of verification can be hundreds of lines or more, I use the command with a pager, exit in the middle, and then a "Broken pipe (os error 32)" error occurs. It is not a critical problem but it would be great if we can get rid of the error.
I am using cargo-crev 0.15.1, installed with cargo on Ubuntu 18.04 (amd64) on WSL.
backtrace
The text was updated successfully, but these errors were encountered: