XPost: linux.debian.bugs.dist
Hi!
On Tue, 2017-08-22 at 09:44:02 -0700, Russ Allbery wrote:
Guillem Jover <[email protected]> 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
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)