diff options
author | Cyrill Schenkel | 2024-03-19 12:30:34 +0000 |
---|---|---|
committer | GitHub | 2024-03-19 12:30:34 +0000 |
commit | 5b8bfc547607602a557c6115bb5edb557099f8f2 (patch) | |
tree | 4d3f88326d3a6e7c888be24d7191a3f06ab9453d /runtime/tutor | |
parent | 485c5cf0b81ed1f189c5bb06263667449d5684d6 (diff) |
Prevent `shell_keep_pipe` from stopping on nonzero exit status code (#9817)
The `shell_impl` and `shell_impl_async` functions no longer return
`success` because it was always `true`. If the command didn't succeed
both functions would return an `Err`.
This was also the reason, why `shell_keep_pipe` didn't work. It relied
upon the value of `success` and aborted in case of an `Err`.
It now removes any selection for which `shell_impl` returns `Err`.
If the command always fails, the selections are preserved and an error
message is displayed in the status bar.
Diffstat (limited to 'runtime/tutor')
0 files changed, 0 insertions, 0 deletions