> You know, that you used /etc/apt/preferences _and_ APT::Default-Release
> "unstable";? Why do you think, the resulting pin-priority is a bug? I
> mean, you configured apt to use "unstable" as the default release.
> Following apt_preferences(5) this release gets a priority of 990. IMHO
For some reason I was under the impression, that APT::Default-Release
would be overridden by the more-specific pin. I.e. default-release would
apply only to those where nothing else does; a fall-back. Apparently I
was mistaken.
By the way, apt_preferences(5) does not seem to specify, which one is
preferred, Default-Release or the pin if both match a package. Perhaps it
should?
> apt could be improved to assign "o=Debian,a=${APT::Default-Release
> value}" (or similar) so third party repositories are not affected by the
> APT::Default-Release value.
I agree, that would be useful.
-Juha
--
-----------------------------------------------
| Juha Jäykkä, juolja@utu.fi |
| home: http://www.utu.fi/~juolja/ |
-----------------------------------------------
Attachment:
signature.asc
Description: PGP signature