[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <ZybC1lsbMb91DzFW@riva.ucam.org>
Date: Sun, 3 Nov 2024 00:24:54 +0000
From: Colin Watson <cjwatson@...ian.org>
To: Alejandro Colomar <alx@...nel.org>
Cc: "G. Branden Robinson" <g.branden.robinson@...il.com>,
Ian Rogers <irogers@...gle.com>, David Airlie <airlied@...il.com>,
Simona Vetter <simona@...ll.ch>,
Maarten Lankhorst <maarten.lankhorst@...ux.intel.com>,
Maxime Ripard <mripard@...nel.org>,
Thomas Zimmermann <tzimmermann@...e.de>,
Jonathan Corbet <corbet@....net>, dri-devel@...ts.freedesktop.org,
linux-doc@...r.kernel.org, linux-kernel@...r.kernel.org,
linux-man@...r.kernel.org, groff@....org
Subject: Re: [PATCH v2 1/3] proc_pid_fdinfo.5: Reduce indent for most of the
page
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@...uan:~/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@...ian.org]
Powered by blists - more mailing lists