Hi Branden,
> You're referring to cat pages. As far as I know, these are on their
> way out if not already gone.
catman must die. It was never a good solution to the problem. As well
as ignoring different TERMs, it also didn't handle a user's variations
to a terminal's definition. I'm glad to
Hi Gavin,
On 4/7/23 21:28, Gavin Smith wrote:
> On Fri, Apr 07, 2023 at 09:04:03PM +0200, Alejandro Colomar wrote:
>> $ time man -w gcc | xargs zcat | groff -man -Tutf8 2>/dev/null >/dev/null
>>
>> real 0m0.406s
>> user 0m0.534s
>> sys 0m0.042s
>>
>> But as others said, I don't really care about
On Fri, Apr 07, 2023 at 09:04:03PM +0200, Alejandro Colomar wrote:
> $ time man -w gcc | xargs zcat | groff -man -Tutf8 2>/dev/null >/dev/null
>
> real 0m0.406s
> user 0m0.534s
> sys 0m0.042s
>
> But as others said, I don't really care about the time it takes to format
> the entire document,
Hi!
On 4/7/23 17:06, Eli Zaretskii wrote:
>> Date: Fri, 7 Apr 2023 09:43:19 -0500
>> From: "G. Branden Robinson"
>> Cc: alx.manpa...@gmail.com, d...@gouders.net, cjwat...@debian.org,
>> linux-...@vger.kernel.org, help-texi...@gnu.org, groff@gnu.org
>>
>> ...which brings me to the other facto
On Fri, Apr 07, 2023 at 09:43:19AM -0500, G. Branden Robinson wrote:
> At 2023-04-07T09:36:10+0300, Eli Zaretskii wrote:
> > > From: "G. Branden Robinson"
> [re-running *roff when a viewing a man page and resizing the terminal]
> > > Seems like it shouldn't be impossible to me, but what I imagine
On Fri, Apr 07, 2023 at 06:06:39PM +0300, Eli Zaretskii wrote:
> > Date: Fri, 7 Apr 2023 09:43:19 -0500
> > From: "G. Branden Robinson"
> > Cc: alx.manpa...@gmail.com, d...@gouders.net, cjwat...@debian.org,
> > linux-...@vger.kernel.org, help-texi...@gnu.org, groff@gnu.org
> >
> > ...which br
> Date: Fri, 7 Apr 2023 09:43:19 -0500
> From: "G. Branden Robinson"
> Cc: alx.manpa...@gmail.com, d...@gouders.net, cjwat...@debian.org,
> linux-...@vger.kernel.org, help-texi...@gnu.org, groff@gnu.org
>
> ...which brings me to the other factor, of which I'm more confident: man
> page rend
