CLI: return non-zero exit codes if there are errors
See original GitHub issueThis would simplify interacting with the tool using the command line interface which is very useful for testing.
E.g. SANY gives me something like this as its output
Semantic errors:
*** Errors: 1
line 130, col 54 to line 130, col 54 of module Foo
...
but echo $?
returns 0
.
Issue Analytics
- State:
- Created 3 years ago
- Comments:9 (5 by maintainers)
Top Results From Across the Web
CLI - make exit code non-zero when error occurs · Issue #4270
I'm trying to use HandBrakeCLI in a shell script. In that script I want to delete source files once they're converted. To test...
Read more >Bash command line exit codes demystified | Enable Sysadmin
An exit code is a system response that reports success, an error, or another condition that provides a clue about what caused an...
Read more >How to optionally handle non-zero exit codes when `set -e`
I want to get the return code of command emulator-5554 uninstall my.package , and handle the return code depending on its value; I...
Read more >Chapter 6. Exit and Exit Status
A successful command returns a 0, while an unsuccessful one returns a non-zero value that usually can be interpreted as an error code....
Read more >Exit Codes
Any non-zero exit code (commonly 1 or -1) conventionally means that there was some sort of error during the pro- gram's executing that...
Read more >
Top Related Medium Post
No results found
Top Related StackOverflow Question
No results found
Troubleshoot Live Code
Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free
Top Related Reddit Thread
No results found
Top Related Hackernoon Post
No results found
Top Related Tweet
No results found
Top Related Dev.to Post
No results found
Top Related Hashnode Post
No results found
https://github.com/tlaplus/tlaplus/blob/d5654d93bc5787026382201fda7aa3fbb55222c6/tlatools/org.lamport.tlatools/src/tla2sany/drivers/SANY.java#L425-L426
Sure, I’ll try doing that after some deadlines… Let me just open an issue to track it.