We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
As mentioned in #7836, the builtin echo does not fail when the the writes fail, making it difficult to realize whether there was an error or not.
echo
The easiest way to reproduce this on Linux is:
$ builtin echo >/dev/full write: No space left on device $ echo $status 0
The text was updated successfully, but these errors were encountered:
This applies to builtins in general. We do not currently have the API to express that a write failed after opening the file.
Sorry, something went wrong.
36ad116
No branches or pull requests
As mentioned in #7836, the builtin
echo
does not fail when the the writes fail, making it difficult to realize whether there was an error or not.The easiest way to reproduce this on Linux is:
The text was updated successfully, but these errors were encountered: