[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #58016] Add an option "--label=<name>" to show an origin of diagnos
|
From: |
Ingo Schwarze |
|
Subject: |
[bug #58016] Add an option "--label=<name>" to show an origin of diagnostics |
|
Date: |
Sat, 9 May 2020 05:05:35 -0400 (EDT) |
|
User-agent: |
Mozilla/5.0 (X11; OpenBSD amd64; rv:75.0) Gecko/20100101 Firefox/75.0 |
Follow-up Comment #3, bug #58016 (project groff):
Which, as we just noted in another thread on the mailing list, is the most
common case (even if admittedly not universal, as e.g. Ralph observed). But i
really think we should not add weird, non-essential options bloating the user
interface - merely to handle unusual corner cases. That makes closing this
ticket without acting on it even more desirable.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?58016>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/