Just-mr: Add --local-launcher option

Also update just-mr section-1 man page

1 files changed, 8 insertions, 0 deletions

diff --git a/share/man/just-mr.1.org b/share/man/just-mr.1.org
index 978ec306..8f8a1e2b 100644
--- a/share/man/just-mr.1.org
+++ b/share/man/just-mr.1.org
@@ -57,6 +57,11 @@ See *just-mr-repository-config(5)* for more details on the input format.
    options overwrites any values set in the *just-mrrc(5)* file.\\
    Default: file path ~".just-local.json"~ in user's home directory.
 
+   *--local-launcher* <JSON_ARRAY>\\
+   JSON array with the list of strings representing the launcher to
+   prepend actions' commands before being executed locally.\\
+   Default: ~["env", "--"]~.
+
    *--distdir* PATH\\
    Directory to look for distfiles before fetching. If given, this will be the
    first place distfiles are looked for. This option can be given multiple times
@@ -173,6 +178,9 @@ All logging arguments given to ~just-mr~ are passed to ~just~ as early arguments
 If log files are provided, an unconditional ~--log-append~ argument is passed as
 well, which ensures no log messages will get overwritten.
 
+The ~--local-launcher~ argument is passed to ~just~ as early argument for those
+/known/ subcommands that accept it (build, install, rebuild).
+
 ** version|describe|analyse|build|install|install-cas|rebuild|gc
 
 This subcommand is the explicit way of specifying /known/ just subcommands and