Control: tags -1 + fixed-upstream
Am 15.10.2022 um 19:14 teilte Jakub Wilk mit:
Package: info
Version: 6.8-6
I noticed that "info -w" is puzzlingly slow when the argument is a man
page:
This has been solved/implemented in two git commits:
commit ef2eb3589883dc6ced661e424f0e11bee05cc83b
Aut
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",
Package: info
Version: 6.8-6
I noticed that "info -w" is puzzlingly slow when the argument is a man
page:
$ time -p info -w ffmpeg-all
*manpages*
real 1.06
user 1.47
sys 0.16
In contrast, "man -w" is near-instantaneous:
$ time -p man -w ffmpeg-all
/usr/share/man/m
3 matches
Mail list logo
