On Fri, 21 Aug 2020 at 08:41, Eli Zaretskii <
eliz@gnu.org> wrote:
> From: Stefan Kangas <stefan@marxist.se>
> Date: Fri, 21 Aug 2020 00:25:45 -0700
> Cc: Lars Ingebrigtsen <larsi@gnus.org>, Reuben Thomas <rrt@sc3d.org>,
> 12098@debbugs.gnu.org
>
> > I think adding an option to run man synchronously will address such wishes as
> > https://debbugs.gnu.org/40888
>
> Unfortunately the patch here no longer applies but from taking a quick
> look it shouldn't be too hard to rewrite for anyone so inclined.
Btw, while assessing the speed of running a 'man' command
synchronously, please be sure to do that with a man page that doesn't
have its formatted counterpart stored in man/catN. Most
implementations of 'man' will store the formatted pages there, and use
them afterwards, thus avoiding the more expensive formatting command.
Displaying a pre-formatted man page is almost instantaneous, but
formatting a large and non-trivial page might be slower.
The times quoted earlier in the thread (specifically, 2s for bash(1)) does not sound like there was a cached version involved, as that's much too slow!
--