diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-03-21 14:07:26 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-03-22 13:53:27 +0100 |
| commit | 373834883f40eae2fb15901db70076e0940a5ba4 (patch) | |
| tree | 5c1c913e7ff657f827a01ac4953bf57d00fdf98c /share | |
| parent | a116a448353f34374c2c96dfe1d646f05da7c0bf (diff) | |
| download | justbuild-373834883f40eae2fb15901db70076e0940a5ba4.tar.gz | |
just-mr: support log options in rc file
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-mrrc.5.org | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/share/man/just-mrrc.5.org b/share/man/just-mrrc.5.org index 05166cd2..c6396f56 100644 --- a/share/man/just-mrrc.5.org +++ b/share/man/just-mrrc.5.org @@ -68,6 +68,14 @@ The just-mrrc is given by a JSON object. configuration file. If the key ~"local launcher"~ is absent, the default ~["env", "--"]~ is assumed. +- The value for the key ~"log limit"~, if given, sets the default + value for the log limit, that can be overridden by the command-line + options. + +- The value ~"log files"~, if given, has to be a list of location + objects, specifying additional log files, on top of those specified + on the command line. + - The value for the key ~"just args"~ is a JSON object. Its keys are ~just~ subcommands and its value is a JSON list of strings. For the corresponding subcommand, these strings are prefixed to the ~just~ argument vector, if @@ -87,6 +95,8 @@ An example just-mrrc file could look like the following: , "local build root": {"root": "home", "path": ".cache/just"} , "checkout locations": {"root": "home", "path": ".just-local.json"} , "local launcher": ["env", "--"] +, "log limit": 4 +, "log files": [{"root": "home", "path": ".log/just/latest-invocation"}] , "distdirs": [{"root": "home", "path": ".distfiles"}] , "just": {"root": "system", "path": "usr/bin/just"} , "just args": |