`process-args` and `usage` #22

danfuzz · 2023-10-05T18:07:48Z

This PR does a few things around error cases of process-args and usage:

Makes usage no longer "magically" exit when $? is non-zero upon being called.
Drops the extra newline before a usage --short message.
Makes process-args print out usage --short when reporting errors (along with that extra newline which used to be in usage --short).

As far as I know, this is what every use site already does, except that it requires extra boilerplate.

danfuzz added 11 commits October 5, 2023 10:22

Document the intent.

5b808d6

Make process-args actually exit if there was trouble.

4539144

As far as I know, this is what every use site already does, except that it requires extra boilerplate.

Better reporting.

803c8d5

Drop the extra line. The effect is now achieved elsewhere.

6f0c177

Update test.

dd085ef

Fix doc.

00d287a

Boilerplate reduction (approximately).

f543479

On second thought, automatic exit was a bit too magical.

78dd087

Fix.

ae8b2d3

Drop the magical exit behavior.

938c4ca

Update test.

b43b78d

danfuzz merged commit 3f70b5f into main Oct 5, 2023
1 check passed

danfuzz deleted the process-args-exit branch October 5, 2023 18:08

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

`process-args` and `usage` #22

`process-args` and `usage` #22

danfuzz commented Oct 5, 2023

process-args and usage #22

process-args and usage #22

Conversation

danfuzz commented Oct 5, 2023

`process-args` and `usage` #22

`process-args` and `usage` #22