diff options
Diffstat (limited to 'share/man/just-mr.1.org')
| -rw-r--r-- | share/man/just-mr.1.org | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/share/man/just-mr.1.org b/share/man/just-mr.1.org index b7a128f1..1e23b772 100644 --- a/share/man/just-mr.1.org +++ b/share/man/just-mr.1.org @@ -79,6 +79,9 @@ See *just-mr-repository-config(5)* for more details on the input format. *--plain-log*\\ Do not use ANSI escape sequences to highlight messages. + *--log_append*\\ + Append messages to log file instead of overwriting existing. + *--just* PATH\\ Name of the just binary in ~PATH~ or path to the just binary.\\ Default: ~"just"~.\\ @@ -166,6 +169,10 @@ be provided in the configuration or on the command line. If no main repository is provided, the lexicographical first repository from the configuration is used. +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. + ** version|describe|analyse|build|install|install-cas|rebuild|gc This subcommand is the explicit way of specifying /known/ just subcommands and |