On Fri, 21 Aug 2020 at 08:41, Eli Zaretskii wrote: > > From: Stefan Kangas > > Date: Fri, 21 Aug 2020 00:25:45 -0700 > > Cc: Lars Ingebrigtsen , Reuben Thomas , > > 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! -- https://rrt.sc3d.org