SubCommand definition
Function to run after parsing command line arguments.
Generate command line arguments and the function to run the main of the subcommand.
#
scmd_name
| : OASISTypes.name | ; | (* | Name of the subcommand, used to call it | *) |
#
scmd_synopsis
| : string | ; | (* | Short description of the subcommnad, displayed when doing a summary of the available subcommands | *) |
#
scmd_help
| : string | ; | (* | Long description of the subcommand, displayed when showing help of the
subcommand. It can contains variable substitution as defined in Buffer.add_substitute . | *) |
#
scmd_usage
| : string | ; | (* | Arg usage text | *) |
#
scmd_deprecated
| : bool | ; | (* | Is this subcommand deprecated. | *) |
#
scmd_run
| : unit run_t | ; | (* | Generate the specs and a main function. | *) |
make_run fspecs main
Create a run_t
by combining argument parsing with
the main function. The goal is to make main
not use global variable and
create what is need to store them in fspecs. This allow to make the whole
subcommand invocation thread safe.
List all PluginLoader entries registered. Set deprecated
to false to
filter out deprecated plugin