2019-01-14 15:42:48 -08:00
|
|
|
#
|
|
|
|
|
A library defining some command line program functionality
|
2019-01-15 15:53:31 -08:00
|
|
|
|
|
|
|
|
external:
|
|
|
|
|
(command line program with $args $body) parses as:
|
|
|
|
|
external ((run with $args) means $body)
|
|
|
|
|
if (this file was run directly):
|
|
|
|
|
run with (the command line arguments)
|
|
|
|
|
|
|
|
|
|
(usage $) means:
|
|
|
|
|
say "Usage: \$"
|
|
|
|
|
exit 1
|
