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

From: Junio C Hamano <gitster@pobox.com>
Date: Jun 5, 2024, 05:20 UTC
Message-ID: <xmqqzfs0x8w9.fsf@gitster.g>
In-Reply-To: <b06088a2ff65a3455f0f5db2a9b752901f2af14b.1717564310.git.ps@pks.im>

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.

$ 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.