From 70aef852705090b48ded2842269daa7884fa54fd Mon Sep 17 00:00:00 2001 From: Klaus Aehlig Date: Wed, 20 Sep 2023 10:41:23 +0200 Subject: just-mrrc(5): update example As we have, with "remote execution", a command-independent option to set the remote-execution endpoint that also gets forwarded, a typical configuration would specify the endpoint there. --- share/man/just-mrrc.5.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'share') diff --git a/share/man/just-mrrc.5.md b/share/man/just-mrrc.5.md index bb59c8bc..5a7d0b82 100644 --- a/share/man/just-mrrc.5.md +++ b/share/man/just-mrrc.5.md @@ -132,11 +132,11 @@ An example just-mrrc file could look like the following: , "distdirs": [{"root": "home", "path": ".distfiles"}] , "just": {"root": "system", "path": "usr/bin/just"} , "git": {"root": "system", "path": "usr/bin/git"} +, "remote execution": {"address": "10.0.0.1:8980"} , "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"] - , "rebuild": ["-r", "10.0.0.1:8980", "--remote-execution-property", "OS:Linux"] - , "install-cas": ["-r", "10.0.0.1:8980"] + { "build": ["--remote-execution-property", "OS:Linux"] + , "install": ["--remote-execution-property", "OS:Linux"] + , "rebuild": ["--remote-execution-property", "OS:Linux"] } } ``` -- cgit v1.2.3