Re: BASH_BUILTINS(1) | 'man bash_builtins' | Manual not found
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 includes builtins like > mapfile, which are not listed in the synopsis. That's a bug with debian's packaging. The manpage from the bash sources doesn't have that bug. Note that the bash sources do not contain any section 7 manpages. Andreas. -- Andreas Schwab, sch...@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."
Re: BASH_BUILTINS(1) | 'man bash_builtins' | Manual not found
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: > > .\" 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. unicorn:~$ locate builtins.7 [...] /etc/alternatives/builtins.7.gz /usr/share/man/man7/bash-builtins.7.gz /usr/share/man/man7/builtins.7.gz /var/lib/dpkg/alternatives/builtins.7.gz unicorn:~$ ls -l /usr/share/man/man7/builtins.7.gz lrwxrwxrwx 1 root root 31 Aug 5 07:09 /usr/share/man/man7/builtins.7.gz -> /etc/alternatives/builtins.7.gz unicorn:~$ ls -l /etc/alternatives/builtins.7.gz lrwxrwxrwx 1 root root 38 Aug 5 07:09 /etc/alternatives/builtins.7.gz -> /usr/share/man/man7/bash-builtins.7.gz unicorn:~$ ls -l /usr/share/man/man7/bash-builtins.7.gz -rw-r--r-- 1 root root 508 Aug 4 16:25 /usr/share/man/man7/bash-builtins.7.gz unicorn:~$ man mapfile No manual entry for mapfile unicorn:~$ man complete | head -n1 No manual entry for complete unicorn:~$ man alias | head -n1 ALIAS(1POSIX) POSIX Programmer's Manual ALIAS(1POSIX) unicorn:~$ man for | head -n1 for(n) Tcl Built-In Commands for(n) Again, all of this stuff is OS-specific. Or in some cases, even single- system-specific. 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 includes builtins like mapfile, which are not listed in the synopsis.
Re: BASH_BUILTINS(1) | 'man bash_builtins' | Manual not found
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, sch...@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."
Re: BASH_BUILTINS(1) | 'man bash_builtins' | Manual not found
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 using a different OS.
Re: BASH_BUILTINS(1) | 'man bash_builtins' | Manual not found
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 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 bash_builtins > > This setup is operating system specific. You'll need to talk to your > OS vendor's support mailing list, web forum, IRC channel, etc. > > E.g. on Debian 11: > > unicorn:~$ man bash-builtins | head -n1 > BASH-BUILTINS(7) Miscellaneous Information Manual > BASH-BUILTINS(7) > > This page is provided by the "bash" package in Debian, but there are > none of your symlinks, e.g. "man alias" does not give me this page. Again, > all of that stuff is set up (or not set up) by your OS vendor. > >
Re: BASH_BUILTINS(1) | 'man bash_builtins' | Manual not found
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 found. > > To reproduce: > > $ man bash_builtins > No manual entry for bash_builtins This setup is operating system specific. You'll need to talk to your OS vendor's support mailing list, web forum, IRC channel, etc. E.g. on Debian 11: unicorn:~$ man bash-builtins | head -n1 BASH-BUILTINS(7) Miscellaneous Information Manual BASH-BUILTINS(7) This page is provided by the "bash" package in Debian, but there are none of your symlinks, e.g. "man alias" does not give me this page. Again, all of that stuff is set up (or not set up) by your OS vendor.
