[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.