package reason
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=47b0e43a7d348e2a850658ab4bec5a4fbbb9fd4ff3ec8a1c1816511558c5364e
sha512=0d8dbe33ac17b765ea018522910a333831fec278ae4da25ba039ce4d2d8152f9b2fbba5b40c453241bf4323e55e0dc070170b04caa35742c6e33a7f726feafb3
doc/reason.cmdliner/Vendored_cmdliner/Cmd/Exit/index.html
Module Cmd.Exit
Source
Exit codes and their information.
Exit codes
The type for exit codes.
Warning. You should avoid status codes strictly greater than 125 as those may be used by some shells.
some_error
is 123
, an exit status for indisciminate errors reported on stderr.
internal_error
is 125
, an exit status for unexpected internal errors.
Exit code information
The type for exit code information.
exit_info ~docs ~doc min ~max
describe the range of exit statuses from min
to max
(defaults to min
). doc
is the man page information for the statuses, defaults to "undocumented"
. docs
is the title of the man page section in which the statuses will be listed, it defaults to Manpage.s_exit_status
.
In doc
the documentation markup language can be used with following variables:
$(status)
, the value ofmin
.$(status_max)
, the value ofmax
.- The variables mentioned in the
Cmd.info
defaults
are exit code information for ok
, some_error
cli_error
and internal_error
.