Re: All caps .TH page title

[DJ Chase]

On Tue Aug 2, 2022 at 12:19 PM EDT, Alejandro Colomar wrote:
> On 8/2/22 17:51, DJ Chase wrote:
> > You could swap mandoc’s stderr and stdout, then filter it with sed and
> > redirect sed to stderr:
> > 
> >     mandoc -W <level> 3>&2 2>&1 1>&3 | sed '/reg/ex/d' >&2
> > 
> > Of course if mandoc also normally writes to stdout this would create new
> > stuff on stderr, so you could run it in two-passes:
> > 
> >     # pass where we care about mandoc’s regular output
> >     mandoc 2>/dev/null
> >     # pass where we care about mandoc’s errors
> >     mandoc -W <level> 2>&1 >/dev/null | sed '/reg/ex/d' >&2
> > 
> > (https://stackoverflow.com/questions/13299317/)
>
> mandoc(1) seems to always write to stdout in -Tlint mode, so this 
> wouldn't be an issue.
>
> The issue is the EXIT STATUS.  Anything non-zero makes make(1) stop 
> running and error with 2.  That's the hardest thing to workaround.

Would this work:

        OUTPUT="$(mandoc -Tlint || true)"
        OUTPUT="$(printf %s\\n "$OUTPUT" | sed '/reg/ex/d')"

        if [ "$OUTPUT" ]; then
                printf %s\\n "$OUTPUT"
                exit 1
        fi

Cheers,
-- 
DJ Chase
They, Them, Theirs