Follow-up Comment #12, bug #64061 (project groff):
[comment #5 comment #5:]
> 1. Run pdfinfo twice and scrape out a different datum on each
> pass. I fear this would give up more than was gained by
> eliminating grep from the pipeline.
Not that we need _more_ options at this point, since two others now have
working implementations, but I don't think this particular objection has much
weight: the grep wasn't eliminated because it was incurring a noticeable
performance penalty, but because it was deemed unnecessary on code inspection.
I doubt the overhead of two invocations of pdfinfo would make a significant
runtime difference even in a document that included dozens of PDFs.
Ultimately, though, this seems the least elegant of the three proposals, so
even though it was mine initially, I'm happy to see it discarded.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?64061>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
