diff options
author | Matthias Beyer <mail@beyermatthias.de> | 2016-01-06 19:24:37 +0100 |
---|---|---|
committer | Matthias Beyer <mail@beyermatthias.de> | 2016-01-06 19:24:37 +0100 |
commit | 24b64607057e1c8a172a9bc73e14ebc2c5b26b9f (patch) | |
tree | de683b9ae1cdedd3efe1c562713b276c8a336492 /etc | |
parent | aaf3660f318ea151b7126c2ff07511bd3b40e060 (diff) |
Add CLI spec for reporting mode
Diffstat (limited to 'etc')
-rw-r--r-- | etc/cli.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/etc/cli.yml b/etc/cli.yml index 553a8f52..4d222a05 100644 --- a/etc/cli.yml +++ b/etc/cli.yml @@ -15,6 +15,11 @@ args: help: Sets the level of debugging information required: false + - report: + long: report + help: Print "Ok" on success, "Error" on failure (except hard errors) before exiting, regardless of verbosity + required: false + - rtp: short: r long: runtimepath |