diff options
author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-03-28 17:56:24 +0100 |
---|---|---|
committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-04-02 14:31:01 +0200 |
commit | 60142c07ff866fc18ea3e497ab30d2292ff8fd2c (patch) | |
tree | ea9e84b820390031b6db50f6f0a10e237f02e686 /share | |
parent | 4a00afd4529c826a60f6bc1d854e993bf5a3c898 (diff) | |
download | justbuild-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.md | 32 |
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 ======== |