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
OpenPGP_signature
Description: OpenPGP digital signature