On 07/14/2018 09:38 PM, Ricky Tigg wrote:
> $ man 1 bash_builtins
The variable is BASH_BUILTINS but the man page is bash-builtins
(underscore vs. dash).

Peter

Reply via email to