[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 13:56:45 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) |
On Sep 30 2021, Greg Wooledge wrote:
> No, they probably have a /usr/share/man/man1/alias.1.gz -> bash-builtins.1.gz
> symlink or something, set up by their OS vendor.
See the comment in doc/builtins.1:
.\" This is a hack to force bash builtins into the whatis database
.\" and to get the list of builtins to come up with the man command.
This happens automagically.
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."