[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: BASH_BUILTINS(1) | 'man bash_builtins' | Manual not found

From: Andreas Schwab
Subject: Re: BASH_BUILTINS(1) | 'man bash_builtins' | Manual not found
Date: Thu, 30 Sep 2021 14:34:51 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux)

On Sep 30 2021, Greg Wooledge wrote:

> It's also possibly worth pointing out that the "builtins.7" provided
> by Debian 11 contains a synopsis from bash 2.05b, listing a set of
> builtin commands that's *vastly* out of date.  But the actual content
> provided by "bash-builtins.7" is newer, and includes builtins like
> mapfile, which are not listed in the synopsis.

That's a bug with debian's packaging.  The manpage from the bash sources
doesn't have that bug.  Note that the bash sources do not contain any
section 7 manpages.

Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."

reply via email to

[Prev in Thread] Current Thread [Next in Thread]