Bug#173215: #173215
severity 173215 wishlist
thanks
> I consider this a documentation bug.
>
> To fix the problem, /etc/preferences could be used like this (is this
> proper, apt gurus?)
>
> Package: *
> Pin: release v=3.0*
> Pin-Priority: 600
It would be helpful to add this example to the
apt_preferences(5) man page.
(Note that the man page has been rewritten. See #115517.
Once the new man page is released, we could add this
example in for the next release.)
__________________________________________________
Do You Yahoo!?
Everything you'll ever need on one web page
from News and Sport to Email and Music Charts
http://uk.my.yahoo.com
Reply to: