bug-groff
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug #65619] [afmtodit] want a default value for space width if unspecif


From: G. Branden Robinson
Subject: [bug #65619] [afmtodit] want a default value for space width if unspecified
Date: Tue, 7 May 2024 06:09:08 -0400 (EDT)

Follow-up Comment #6, bug #65619 (group groff):

Deri noted in comment #23 to bug #63018:

> Look for different 'spaces' to set 'spacewidth'.
> Implement -ww switch - force even if 'space' found.
> Warn if -w used and 'space' found (but advise rerun with -ww to override). 

I replied in comment #24:
> I ask that we spell these '-w' (fallback) and '-W' (force),
> respectively.  Or maybe pick other another letter altogether for
> one (or both).
>
> Generally, in Unix commands, repeating an option flag, when it is
> meaningful at all, means to do something "harder" or "more", not to 
> do it differently.



    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?65619>

_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]