Florian Zieboll <[email protected]> writes: > Mitt Green <[email protected]> wrote: > >> Starting from this version pinning >> (i.e. preventing from being installed) >> packages this way: >> ------------------------------------------- >> Package: foo >> Pin: release * >> Pin-Priority: -1 >> ------------------------------------------- >> doesn't work anymore. > > > Here's a link to the apt_preferences(5) from an apt v1.1.3 .deb: > > http://zwischenspeicher.info/temp/apt_preferences.5--v1.1.3.gz > > open with > # man /path/to/file.gz
JFTR: This doesn't work without the path, ie, just cd /path/to man file.gz will search in the 'real' man page directories. man -l file.gz can also be used to access a file in the local directory. _______________________________________________ Dng mailing list [email protected] https://mailinglists.dyne.org/cgi-bin/mailman/listinfo/dng
