discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Reddit
Oil Fixes Shell's Error Handling (errexit)
https://www.oilshell.org/release/0.10.0/doc/error-handling.html
4 comments
1/5/2022
commandline