package reason
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=df2544606bc824a67082e2011826e7a1cde7af0ccb5ba457e937fe018c3ce7e4
sha512=ad6606defad2dcc2456b42e77eb77d5aee02ccda7ad32c313dcbb2c5d25953ff0c80719a3c6ef30b8443d8e6105b46aacdccc3607620c36ce8c8d0537574c21c
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.