Subject: Re: [PATCH 1/4] Makefile: extract script to lint missing/extraneous manpages

From: Patrick Steinhardt <[email-masked]>
Date: Wed, 5 Jun 2024 07:27:41 +0200

On Tue, Jun 04, 2024 at 10:20:54PM -0700, Junio C Hamano wrote:
> Patrick Steinhardt <[email-masked]> 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