diff options
Diffstat (limited to 'share')
-rw-r--r-- | share/man/just-mr.1.org | 8 |
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 |