This is a feature, so you can pin a release (like backports) to a low
value, but raise it easily if you need to. It is also explicitly
documented in the apt_preferences manpage, which also mentions a
"workaround": Note that this [= the target release setting] has
precedence over any general priority you set in the /etc/apt/preferences
file described later, but not over specifically pinned packages.
Closing as not-a-bug hence.
** Changed in: apt (Ubuntu)
Status: New => Invalid
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1565782
Title:
APT doesn't respect pin-priority when using APT::Default-Release
option
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/apt/+bug/1565782/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
