diff options
Diffstat (limited to 'share/man')
| -rw-r--r-- | share/man/just-mr.1.org | 5 | ||||
| -rw-r--r-- | share/man/just-mrrc.5.org | 5 |
2 files changed, 10 insertions, 0 deletions
diff --git a/share/man/just-mr.1.org b/share/man/just-mr.1.org index e30fe682..a166353e 100644 --- a/share/man/just-mr.1.org +++ b/share/man/just-mr.1.org @@ -103,6 +103,11 @@ See *just-mr-repository-config(5)* for more details on the input format. Path to the just-mrrc file to use. See *just-mrrc(5)* for more details.\\ Default: file path ~".just-mrrc"~ in the user's home directory. + *--git* PATH\\ + Path to the git binary in ~PATH~ or path to the git binary. Used in the rare + instances when shelling out to git is needed.\\ + Default: ~"git"~.\\ + *--norc*\\ Option to prevent reading any *just-mrrc(5)* file. diff --git a/share/man/just-mrrc.5.org b/share/man/just-mrrc.5.org index c6396f56..07c28481 100644 --- a/share/man/just-mrrc.5.org +++ b/share/man/just-mrrc.5.org @@ -62,6 +62,10 @@ 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 ~"git"~ is a single location object, specifying the + path to the git binary to use in the instances when ~just-mr~ needs to shell + out. + - 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 @@ -99,6 +103,7 @@ An example just-mrrc file could look like the following: , "log files": [{"root": "home", "path": ".log/just/latest-invocation"}] , "distdirs": [{"root": "home", "path": ".distfiles"}] , "just": {"root": "system", "path": "usr/bin/just"} +, "git": {"root": "system", "path": "usr/bin/git"} , "just args": { "build": ["-r", "10.0.0.1:8980", "--remote-execution-property", "OS:Linux"] , "install": ["-r", "10.0.0.1:8980", "--remote-execution-property", "OS:Linux"] |