[bug #58016] Add an option "--label=<name>" to show an origin of diagnostics

From	Ingo Schwarze <INVALID.NOREPLY@gnu.org>
Newsgroups	gnu.groff.bug
Subject	[bug #58016] Add an option "--label=<name>" to show an origin of diagnostics
Date	2020-05-09 05:05 -0400
Message-ID	<mailman.2485.1589015138.3066.bug-groff@gnu.org> (permalink)
References	<20200321-191214.sv93188.70949@savannah.gnu.org> <20200322-174636.sv97361.2329@savannah.gnu.org> <20200509-011144.sv108747.767@savannah.gnu.org> <20200509-090535.sv97361.67722@savannah.gnu.org>

Show all headers | View raw

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/

Back to gnu.groff.bug | Previous | Next | Find similar

Thread

[bug #58016] Add an option "--label=<name>" to show an origin of diagnostics Ingo Schwarze <INVALID.NOREPLY@gnu.org> - 2020-05-09 05:05 -0400

csiph-web