Hi Bjarni, Dave, On 5/2/23 01:15, Alejandro Colomar wrote: > Follow-up Comment #13, bug #62776 (project groff): > > > [comment #12 comment #12:] >> >> [comment #10 comment #10:] >> [...] >> >> N.B. Your text lines are unnecessary long. >> >> When deleting lines from output, (one) "sed -e '/<regex>/d' [...]" is
I forgot to mention that I have several grep lines for cosmetic reasons. I know that I could use -e, but then alignment wouldn't be as nice. However, using -f I can have a one liner, so we'll both be happy :). >> simpler than (many) "grep -v ... || : ... > > I still need the ||: to ignore the exit status of mandoc(1), since I don't > want to fail for messages that I later filter out. I only want to fail, > if there's any remaining byte in stderr after my filtering takes place; > thus, the last grep ^ >&2. > And this convinced me that Dave was right when he said that this isn't exactly what one would call "easy". :) Cheers, Alex -- <http://www.alejandro-colomar.es/> GPG key fingerprint: A9348594CE31283A826FBDD8D57633D441E25BB5
OpenPGP_signature
Description: OpenPGP digital signature
