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

From: Patrick Steinhardt <ps@pks.im>
Date: Jun 5, 2024, 05:27 UTC
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:

Show 8 quoted lines

> 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

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.