From 7ec3c01395304c47a8643610a4cfa7a9aa1f7b31 Mon Sep 17 00:00:00 2001
From: Klaus Aehlig <klaus.aehlig@huawei.com>
Date: Tue, 9 Apr 2024 15:11:15 +0200
Subject: Add just-mr command-line option to estrict log limit on stderr

---
 share/man/just-mr.1.md   | 5 +++++
 share/man/just-mrrc.5.md | 7 ++++++-
 2 files changed, 11 insertions(+), 1 deletion(-)

(limited to 'share')

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"}
-- 
cgit v1.2.3