[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: info -w is slow for man pages

From: Gavin Smith
Subject: Re: info -w is slow for man pages
Date: Tue, 18 Oct 2022 21:08:18 +0100

On Tue, Oct 18, 2022 at 09:55:45PM +0200, Hilmar Preuße wrote:
> Am 17.10.2022 um 22:45 teilte Gavin Smith mit:
> Hi Gavin,
> > An improvement would be to check the exit status of "man -a" and if
> > not found, to fall back to loading the man page as usual.
> > 
> I guess you rather want to check for exit status of "man -w", correct? This
> sounds like a reasonable idea to me.

I did this in commit ef2eb3589883dc6ced.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]