[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: All caps .TH page title
From: |
Alejandro Colomar |
Subject: |
Re: All caps .TH page title |
Date: |
Thu, 4 Aug 2022 12:21:29 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.1.0 |
Hi,
On 8/2/22 22:10, DJ Chase wrote:
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
Yes, something like that is what I had in mind. Not the nicest thing to
do, but better than nothing.
Cheers,
Alex
--
Alejandro Colomar
<http://www.alejandro-colomar.es/>
OpenPGP_signature
Description: OpenPGP digital signature
Re: All caps .TH page title, Ingo Schwarze, 2022/08/02