Hi Alex, Colin Watson <cjwatson@xxxxxxxxxx> writes: > On Sat, Apr 08, 2023 at 03:02:59PM +0200, Alejandro Colomar wrote: >> Colin, I've had a feeling for a long time that compressed pages are >> not very useful. These days, storage is cheap. How would you feel >> about having the man pages installed uncompressed in Debian? That >> would allow running text tools directly in /usr/share/man/. > > I'm not personally all that bothered either way, but it's a > distribution-wide policy decision rather than something I'd decide on. > I suspect there are still some people who would push back against the > space cost. > >> I've had to do that several times, and lucky me that I have the source >> code of the Linux man-pages checked out in my computers, but other >> users don't and they might have trouble finding for example which >> pages talk about RLIMIT_NOFILE. The only way I know of is: >> >> $ grep -rl RLIMIT_NOFILE man* >> man2/dup.2 >> man2/pidfd_getfd.2 >> man2/open.2 >> man2/fcntl.2 >> man2/poll.2 >> man2/pidfd_open.2 >> man2/getrlimit.2 >> man2/select.2 >> man2/seccomp_unotify.2 >> man3/getdtablesize.3 >> man3/mq_open.3 >> man3/errno.3 >> man3/sysconf.3 >> man5/proc.5 >> man7/unix.7 >> man7/fanotify.7 >> man7/capabilities.7 > > man -Kaw RLIMIT_NOFILE Sometimes it is good to have options and one would be bzgrep(1). As far as I know it doesn't understand "-r" but: $ find /usr/share/man -type f -exec bzgrep -l RLIMIT_NOFILE {} \; /usr/share/man/man1/runuser.1.bz2 /usr/share/man/man1/su.1.bz2 /usr/share/man/man1/nghttpx.1.bz2 /usr/share/man/man3/getdtablesize.3.bz2 /usr/share/man/man3/mq_open.3.bz2 /usr/share/man/man3/errno.3.bz2 /usr/share/man/man3/sysconf.3.bz2 /usr/share/man/man3p/getrlimit.3p.bz2 /usr/share/man/man3p/sysconf.3p.bz2 /usr/share/man/man3p/posix_spawn_file_actions_addclose.3p.bz2 /usr/share/man/man0p/sys_resource.h.0p.bz2 /usr/share/man/man2/pidfd_open.2.bz2 /usr/share/man/man2/poll.2.bz2 /usr/share/man/man2/getrlimit.2.bz2 /usr/share/man/man2/open.2.bz2 /usr/share/man/man2/select.2.bz2 /usr/share/man/man2/fcntl.2.bz2 /usr/share/man/man2/seccomp_unotify.2.bz2 /usr/share/man/man2/dup.2.bz2 /usr/share/man/man2/pidfd_getfd.2.bz2 /usr/share/man/man7/fanotify.7.bz2 /usr/share/man/man7/capabilities.7.bz2 /usr/share/man/man7/unix.7.bz2 /usr/share/man/man5/proc.5.bz2 Yes, it's very slow but close to `man -K`: find... man -K... real 107.45 real 96.34 user 117.06 user 70.11 sys 14.43 sys 26.86 [a thought later] Oh, I found something much faster: $ time -p find /usr/share/man -type f | xargs bzgrep -l RLIMIT_NOFILE [snip] real 24.30 user 32.34 sys 6.84 Hmm, perhaps, someone has an explanation for this? Cheers, Dirk