Guillem Jover writes:
> While I'm not a very big fan of info files (even when using pinfo),
> it seems for now it's the only way to get section numbers w/o having
> to use a browser. :/ So while using it I noticed that it has been
> installed with an extremely generic name, for something that is
Hi!
On Tue, 2017-08-22 at 09:44:02 -0700, Russ Allbery wrote:
> Guillem Jover writes:
> > Package: debian-policy
> > Version: 4.1.0.0
>
> > While I'm not a very big fan of info files (even when using pinfo),
> > it seems for now it's the only way to get section numbers w/o having
> > to use a br
Hello,
On Tue, Aug 22 2017, Russ Allbery wrote:
>> So while using it I noticed that it has been installed with an
>> extremely generic name, for something that is a global resource. I
>> think it should be renamed to debian-policy.
>
> Ack, yes, this is my fault. Will fix.
Whoever fixes this wi
Guillem Jover writes:
> Package: debian-policy
> Version: 4.1.0.0
> While I'm not a very big fan of info files (even when using pinfo),
> it seems for now it's the only way to get section numbers w/o having
> to use a browser. :/
w3m works very well, FWIW. (And yeah, the lack of section number
Package: debian-policy
Version: 4.1.0.0
Hi!
While I'm not a very big fan of info files (even when using pinfo),
it seems for now it's the only way to get section numbers w/o having
to use a browser. :/ So while using it I noticed that it has been
installed with an extremely generic name, for some
5 matches
Mail list logo
