Bug#872900: debian-policy: Very generic info file name
Hi!
On Tue, 2017-08-22 at 09:44:02 -0700, Russ Allbery wrote:
> Guillem Jover <guillem@debian.org> 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.
Right, although when using a browser on a terminal I tend to use
elinks/links, it's just that this is less convenient. :)
In any, case I've just updated my deb-policy script to handle this
for me :) for now:
,--- ~/bin/deb-policy ---
#!/bin/sh
base=/usr/share/doc/debian-policy
if [ "$1" = '--upgrade' ]; then
exec pager $base/upgrading-checklist.txt.gz
elif [ -e $base/policy.html/objects.inv ]; then
links -dump $base/policy.html/index.html | exec pager
else
exec pager $base/policy.txt.gz
fi
`---
Thanks,
Guillem
Reply to: