From: Patrick Steinhardt <ps@pks.im>
Date: Wed, 05 Jun 2024 05:27:41 GMT
Subject: Re: [PATCH 1/4] Makefile: extract script to lint missing/extraneous manpages
Message-ID: <Zl_3TQrUHdb5osDA@tanuki>
In-Reply-To: <xmqqzfs0x8w9.fsf@gitster.g>

On Tue, Jun 04, 2024 at 10:20:54PM -0700, Junio C Hamano wrote:
> Patrick Steinhardt <ps@pks.im> writes:
> 
> > +++ b/Documentation/lint-manpages.sh
> > @@ -0,0 +1,82 @@
> > +#!/usr/bin/env bash
> 
> I do not see much bash-ism here.  Unless absolutely needed, please
> use "#!/bin/sh" instead.

Ah, true. I initially did have some bash-isms, but got rid of them. Will
adapt.

Patrick