Here is the excerpt from the sources.list manpage:
It is important to list sources in order of preference, with the most
preferred source listed first. Typically this will result in sorting by speed
from fastest to slowest (CD-ROM followed by hosts on a local network, followed
by distant Internet hosts, for example).
My reasoning for the bug is a little different than what is described
in the manpage. However, I still feel that a system configured with
repository Pinning should be consistent with the output of apt-cache
policy and apt-get and take the Pinning into consideration.
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1268716
Title:
Pinning repositories not being used properly in apt-get dist-upgrade
-s
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/apt/+bug/1268716/+subscriptions
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
