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

2021-09-30 Thread Andreas Schwab
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

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

2021-09-30 Thread Greg Wooledge
On Thu, Sep 30, 2021 at 01:56:45PM +0200, Andreas Schwab wrote: > 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: > > .\"

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

2021-09-30 Thread Andreas Schwab
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

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

2021-09-30 Thread Greg Wooledge
On Thu, Sep 30, 2021 at 01:37:57PM +0200, Alex fxmbsw7 Ratchev wrote: > i havent read official 'man alias' either > maybe you meant help alias 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. We do not. Because we're

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

2021-09-30 Thread Alex fxmbsw7 Ratchev
i havent read official 'man alias' either maybe you meant help alias On Thu, Sep 30, 2021, 13:27 Greg Wooledge wrote: > On Thu, Sep 30, 2021 at 11:50:36AM +0300, Ricky Tigg wrote: > > Hello. > > > > For reference | Execute 'man ' e.g 'man alias'; this > opens a > > BASH_BUILTINS(1) titled

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

2021-09-30 Thread Greg Wooledge
On Thu, Sep 30, 2021 at 11:50:36AM +0300, Ricky Tigg wrote: > Hello. > > For reference | Execute 'man ' e.g 'man alias'; this opens a > BASH_BUILTINS(1) titled manual. The obvious is then noticeable: a manual > entry for bash_builtins does exist. Once it is searched with 'man', it is > no longer

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

2021-09-30 Thread Ricky Tigg
Hello. For reference | Execute 'man ' e.g 'man alias'; this opens a BASH_BUILTINS(1) titled manual. The obvious is then noticeable: a manual entry for bash_builtins does exist. Once it is searched with 'man', it is no longer found. To reproduce: $ man bash_builtins No manual entry for