[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.
--
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."