Lionel Elie Mamane wrote: > Also, often, although not required, it is often desirable for the > packages from the same source package to be in sync, e.g. a program > and its documentation. Yes.
>> Do you still want pinning by source name? > > Yes, I would like it. Understood. >> This would require having deb-src indexes all the time > > I don't understand this. "apt-cache show pkgname" shows me the source > package of a package, so the information seems readily available. I > assume that the way the priority of a (package,version) pair is > computed is something like: > > put priority 500 > loop over all pins > if that pin matches the (package, version), assign priority given by pin > end loop > > So one would need to change the "if that pin matches" to have a step > like that pseudo-code: > > if ( current_pin.type == SOURCE_PIN && current_package.source.name == > current_pin.package_name && /* rest of condition, like does the release / > label / archive / ... match */ ) > return true; Yes, you are right, and I was not in this. I missed 'Source' field. >> and more hacks in apt_preferences format... > > Yes, one would need a way to express that in the syntax of > apt_preferences. How about "Source:" instead of "Package:"? Seems not bad for me. So, I agree with reasons of proposal now, bug remains open. -- Eugene V. Lyubimkin aka JackYF, JID: jackyf.devel(maildog)gmail.com Ukrainian C++ Developer, Debian Maintainer, APT contributor
signature.asc
Description: OpenPGP digital signature