> This is a feature, so you can pin a release (like backports) to a low
value, but raise it easily if you need to.

I know, except in this case it actually _lowers_ the value.

> 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.

Ok, but specifically naming all packages I want to pin is very
inconvenient if I want it to apply to all packages in that PPA.

It seems to me you simply dismissed my report without trying to
understand my use case. If this is indeed "a feature", imho it's
problematic and should be discussed. Is there any good reason why the
target release setting should lower the priority of a package? The
intuitive thing would be that the priority never gets set below the
manually specified value.

-- 
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

Reply via email to