Re: [PATCH v2 1/3] proc_pid_fdinfo.5: Reduce indent for most of the page
From: Colin Watson
Date: Sat Nov 02 2024 - 20:25:14 EST
On Sun, Nov 03, 2024 at 01:05:34AM +0100, Alejandro Colomar wrote:
> Are you sure? With a small tweak, I get the following comparison:
>
> alx@devuan:~/src/linux/man-pages/man-pages/main$ time lexgrog man/*/* | wc
> lexgrog: can't resolve man7/groff_man.7
> 12475 99295 919842
Comparing anything to lexgrog isn't very interesting; it's a debugging
tool and is not in itself very performance-sensitive. As I've explained
elsewhere, the interesting thing is mandb, which uses the same code
in-process to scan a whole tree of pages in one go. I do not expect to
ever want to replace that with a shell pipeline.
--
Colin Watson (he/him) [cjwatson@xxxxxxxxxx]