URL:
<https://savannah.gnu.org/bugs/?58016>
Summary: Add an option "--label=<name>" to show an origin of
diagnostics
Project: GNU troff
Submitted by: bjarniig
Submitted on: Sat 21 Mar 2020 07:12:14 PM UTC
Category: Core
Severity: 3 - Normal
Item Group: New feature
Status: None
Privacy: Public
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
Planned Release: None
_______________________________________________________
Details:
Subject: Add an option "--label=<name>" to show an origin of diagnostics
"groff" has sometimes to read the standard input.
In that case diagnostics are output with a "stdin" or
a "<standard input>" label.
If more than one file is processed in one run,
one can't see from which file the output is.
This is for example the case in Makefiles.
"grep" has such a label.
Its explanation is
--label=LABEL
Display input actually coming from standard input as input
coming from file LABEL. This is especially useful when
implementing tools like zgrep, e.g., gzip -cd foo.gz | grep
--label=foo -H something. See also the -H option.
"diff" (same as '-L') and "diff3" have this option.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?58016>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
