From 4e32fa60312a1d6fcd08700e8fb37e4b1d0195a0 Mon Sep 17 00:00:00 2001 From: Klaus Aehlig Date: Thu, 16 Nov 2023 10:52:44 +0100 Subject: Add -R as short option for --remote-serve-address The `just serve` command defaults to also provide the remote-execution endpoint if none is specified. The `just build` implicitly uses the serve endpoint as remote-execution endpoint if no other endpoint is specified. In this way, the serve endpoint has become the universal endpoint for simple set ups. Simplify that usage further by providing a short command-line option. --- share/man/just-mr.1.md | 2 +- share/man/just.1.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'share') diff --git a/share/man/just-mr.1.md b/share/man/just-mr.1.md index 4c5f8713..119c5215 100644 --- a/share/man/just-mr.1.md +++ b/share/man/just-mr.1.md @@ -137,7 +137,7 @@ be used to peer verify archive fetches from remote. Address of a remote execution service. This is used as an intermediary fetch location for archives, between local CAS (or distdirs) and the network. -**`--remote-serve-address`** *`NAME`*:*`PORT`* +**`-R`**, **`--remote-serve-address`** *`NAME`*:*`PORT`* Address of a **`just`** **`serve`** service. This is used as intermediary fetch location for Git commits, between local CAS and the network. diff --git a/share/man/just.1.md b/share/man/just.1.md index b7f6ba84..ac30f9c1 100644 --- a/share/man/just.1.md +++ b/share/man/just.1.md @@ -526,7 +526,7 @@ Supported by: analyse|build|install-cas|install|rebuild|traverse. Remote serve options -------------------- -**`--remote-serve-address`** *`NAME`*:*`PORT`* +**`-R`**, **`--remote-serve-address`** *`NAME`*:*`PORT`* Address of the remote execution service. Supported by: analyse|build|install-cas|install|rebuild|traverse. -- cgit v1.2.3