From 9014ee19dbab4708527d7c4d846e5f6773c47bef Mon Sep 17 00:00:00 2001 From: Klaus Aehlig Date: Thu, 22 Jun 2023 09:32:56 +0200 Subject: Add CLI argument to dispatch endpoint In this way, the user can specify which execution endpoint to use depending on the execution properties. --- share/man/just.1.md | 14 ++++++++++++++ 1 file changed, 14 insertions(+) (limited to 'share') diff --git a/share/man/just.1.md b/share/man/just.1.md index 19a748cc..aaa4e4f5 100644 --- a/share/man/just.1.md +++ b/share/man/just.1.md @@ -495,6 +495,20 @@ Supported by: analyse|build|install|rebuild|traverse. Address of the remote execution service. Supported by: analyse|build|install-cas|install|rebuild|traverse. +**`--endpoint-configuration`** FILE +File containing a description on how to dispatch to different +remote-execution endpoints based on the the execution properties. +The format is a JSON list of pairs (lists of length two) of an object +of strings and a string. The first entry describes a condition (the +remote-execution properties have to agree on the domain of this +object), the is remote-exeuction address in the NAME:PORT format as +for the **`-r`** option. The first matching entry (if any) is taken; +in none matches the default execution endpoint is taken (either +as specified by **`-r`**, or local execution if no endpoint is +specified). +Supported by: analyse|build|install-cas|install|rebuild|traverse. + + Authentication options ---------------------- -- cgit v1.2.3