Follow-up Comment #18, bug #67612 (group groff):

[comment #2 comment #2:]
> I think a better solution would be for _gropdf_ to support a
> command-line option or environment variable that caused it to
> treat warnings as fatal problems.

Fun fact: gropdf already allegedly has such an option, though with limited
scope.  The man page documents the -W switch as, "Exit with failure status if
font embedding fails.  Normally, gropdf issues a warning diagnostic and
proceeds."

Why do I say "allegedly"?  Well, I don't know how to provoke a font-embedding
failure, so I can't test this.  But the code makes me suspect this doesn't
work as documented: this condition seems to call Warn(), which we know from
comment #4 always exits with failure status.

$ fgrep -C3 'unable to embed' src/devices/gropdf/gropdf.pl
        }
        else
        {
            Warn("unable to embed font file for '$fnt{internalname}'"
            . " ($ofontnm) (missing entry in 'download' file?)")
            if $embedall;
        }

So perhaps the -W switch could be repurposed into doing what is documented,
but for all warnings rather than only font-embedding ones.


    _______________________________________________________

Reply to this item at:

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

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

Attachment: signature.asc
Description: PGP signature

Reply via email to