[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1021839: info -w is slow for man pages



Am 15.10.2022 um 19:14 teilte Jakub Wilk mit:

Hi Jakub,

Apparently this is because "info -w" calls "man -a", which is a very inefficent way to check if a man page exists:

    $ strace -f -e trace=execve -o '| grep -w man >&2' info -w ffmpeg-all > /dev/null     1142  execve("/usr/bin/man", ["/usr/bin/man", "-a", "ffmpeg-all"], 0xfffd7dd4 /* 52 vars */) = 0


I forwarded the issue to upstream [1], the main concern there is that "man -w" is not supported on all OS.

<quote>
No, it doesn't exist on Solaris:

https://docs.oracle.com/cd/E26502_01/html/E29030/man-1.html#scrolltoc

It may be more trouble than it's worth to try to account for different
man versions.
<quote>

Hilmar

[1] https://lists.gnu.org/archive/html/bug-texinfo/2022-10/msg00116.html
--
sigfault

Attachment: OpenPGP_signature
Description: OpenPGP digital signature


Reply to: