package reason
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=63d950affbe203701a3d4c076a2750b56211bae7017cd8f59da508efb09a1afe
sha512=3ed24f4567dcf2ef2c05cec45fae18da2b9a78dab098a8e97e6430aaed4c8e3f659c7a5ccab88bce498c4b3d3cd54b01e72b2be4fefdf9f3bfcc2c8eb7fd86d4
doc/reason.cmdliner/Vendored_cmdliner/Cmd/Exit/index.html
Module Cmd.ExitSource
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.