[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 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 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]