The apt_preferences manpage says:
1) Note that this [referring to the target release] has precedence over any
general priority you set in the /etc/apt/preferences file described later, but
not over specifically pinned packages.
2) If any specific-form records match an available package version then the
first such record determines the priority of the package version. Failing that,
if any general-form records match an available package version then the first
such record determines the priority of the package version. [earlier in the
manpage is said in which order the records are parsed]
So this is documented behavior and is not going to change as people are
(rightfully) depending on it – as depending on a manpage is way better
than the "i expect it to work that way" as advanced stuff usually isn't
(or at least not for all, as expectations are different for everyone).
In short: Pinning is a highly advanced feature, so reading the manpage
is HIGHLY recommend. Failing to do so is usually equivalent to
destroying your system with a (virtual) sledgehammer.
** Changed in: apt (Ubuntu)
Status: New => Opinion
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1208820
Title:
Pinning preferences do not override eachother as expected
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/apt/+bug/1208820/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
