Add just-mr command-line option to estrict log limit on stderr

2 files changed, 11 insertions, 1 deletions

diff --git a/share/man/just-mr.1.md b/share/man/just-mr.1.md
index 7fa02076..c69227cf 100644
--- a/share/man/just-mr.1.md
+++ b/share/man/just-mr.1.md
@@ -118,6 +118,11 @@ output has been generated.
 **`--log-limit`** *`NUM`*  
 Log limit (higher is more verbose) in interval \[0,6\] (Default: 3).
 
+**`--restrict-stderr-log-limit`** *`NUM`*  
+Restrict logging on console to the minimum of the specified **`--log-limit`**
+and the value specified in this option. The default is to not additionally
+restrict the log level at the console.
+
 **`--plain-log`**  
 Do not use ANSI escape sequences to highlight messages.
 
diff --git a/share/man/just-mrrc.5.md b/share/man/just-mrrc.5.md
index 39fbd435..c9e4a073 100644
--- a/share/man/just-mrrc.5.md
+++ b/share/man/just-mrrc.5.md
@@ -87,6 +87,10 @@ The just-mrrc is given by a JSON object.
    value for the log limit, that can be overridden by the command-line
    options.
 
+ - The value for the key *`"restrict stderr log limit"`*, if given,
+   sets the default value for the restriction of the log limit on
+   console; this value can be overridden by the command-line option.
+
  - The value *`"log files"`*, if given, has to be a list of location
    objects, specifying additional log files, on top of those specified
    on the command line.
@@ -171,7 +175,8 @@ An example just-mrrc file could look like the following:
 , "local build root": {"root": "home", "path": ".cache/just"}
 , "checkout locations": {"root": "home", "path": ".just-local.json"}
 , "local launcher": ["env", "--"]
-, "log limit": 4
+, "log limit": 5
+, "restrict stderr log limit": 4
 , "log files": [{"root": "home", "path": ".log/just/latest-invocation"}]
 , "distdirs": [{"root": "home", "path": ".distfiles"}]
 , "just": {"root": "system", "path": "usr/bin/just"}