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
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:
>
> .\"
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
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
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
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
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