summaryrefslogtreecommitdiff
path: root/share
diff options
context:
space:
mode:
authorKlaus Aehlig <klaus.aehlig@huawei.com>2024-03-28 17:56:24 +0100
committerKlaus Aehlig <klaus.aehlig@huawei.com>2024-04-02 14:31:01 +0200
commit60142c07ff866fc18ea3e497ab30d2292ff8fd2c (patch)
treeea9e84b820390031b6db50f6f0a10e237f02e686 /share
parent4a00afd4529c826a60f6bc1d854e993bf5a3c898 (diff)
downloadjustbuild-60142c07ff866fc18ea3e497ab30d2292ff8fd2c.tar.gz
just-serve-config(5): add an example of a configuration
Diffstat (limited to 'share')
-rw-r--r--share/man/just-serve-config.5.md32
1 files changed, 32 insertions, 0 deletions
diff --git a/share/man/just-serve-config.5.md b/share/man/just-serve-config.5.md
index c4ac8dee..0612b181 100644
--- a/share/man/just-serve-config.5.md
+++ b/share/man/just-serve-config.5.md
@@ -114,6 +114,38 @@ The configuration file is given by a JSON object.
remote-execution endpoint. If unset (or `null`), the value
`["env", "--"]` will be taken as default.
+EXAMPLE
+=======
+
+An example serve configuration file could look as follows.
+
+```jsonc
+{ "local build root": "/var/just-serve/root"
+, "authentication":
+ { "ca cert": "/etc/just-serve/certs/ca.crt"
+ , "client cert": "/etc/just-serve/certs/client.crt"
+ , "client key": "/etc/just-serve/certs/client.key"
+ }
+, "remote service":
+ { "interface": "192.0.2.1"
+ , "port": 9999
+ , "pid file": "/var/run/just-serve/server.pid"
+ , "server cert": "/etc/just-serve/certs/server.crt"
+ , "server key": "/etc/just-serve/certs/server.key"
+ }
+, "execution endpoint": {"address": "198.51.100.1"}
+, "repositories":
+ [ "/var/just-serve/repos/third-party-distfiles"
+ , "/var/just-serve/repos/project-foo"
+ , "/var/just-serve/repos/project-bar"
+ ]
+, "jobs": 8
+, "build": {"build jobs": 128}
+, "max-attempts": 10
+, "initial-backoff-seconds": 10
+, "max-backoff-seconds": 60
+}
+```
See also
========