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
