diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-03-21 11:34:32 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-03-22 13:53:27 +0100 |
| commit | a116a448353f34374c2c96dfe1d646f05da7c0bf (patch) | |
| tree | 451c1ec4fbddaca0f97a84be286c26331c97f6a0 /share | |
| parent | 224e813fdc25f1932069f5e738447193adab5e63 (diff) | |
| download | justbuild-a116a448353f34374c2c96dfe1d646f05da7c0bf.tar.gz | |
just-mrrc: allow setting a default for the launcher the rc file
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-mrrc.5.org | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/share/man/just-mrrc.5.org b/share/man/just-mrrc.5.org index b3c56cee..05166cd2 100644 --- a/share/man/just-mrrc.5.org +++ b/share/man/just-mrrc.5.org @@ -62,6 +62,12 @@ The just-mrrc is given by a JSON object. path to the ~just~ binary to use for execution, if ~just-mr~ is used as a launcher. +- The value for the key ~"local launcher"~, if given, is list of + strings setting the default for local launcher for ~just-mr~; + command-line arguments take precedence over the value in the + configuration file. If the key ~"local launcher"~ is absent, the + default ~["env", "--"]~ is assumed. + - 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 @@ -80,6 +86,7 @@ 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", "--"] , "distdirs": [{"root": "home", "path": ".distfiles"}] , "just": {"root": "system", "path": "usr/bin/just"} , "just args": |