On Thu, Jan 29, 2015 at 09:39:19PM +0000, Noel Torres wrote: > On Thursday, 29 de January de 2015 18:10:10 Hendrik Boom escribió: > > So the upgrade to devuan should perhaps introduce the pin? > > And how soes that pinning work? Simply forbidding systemd and > > some of its relatives? Or a way te detect devuan packages and > > if they are present to ignore Debian's corresponding ones despite > > any version numbers the Debian ones carry? > > Pinning works by saying "this repository has bigger priority than that one, > no > matter the version numbers on the packages". [...] > Given that, if we pin our repository to 1001, it will always have bigger > priority than Debian's, even if Debian version is higher than ours, and even > if we are trying to downgrade from a higher Debian version to a lower Devuan > one.
I don't think you should force a downgrade -- if the system is on Devuan, a higher version being installed means an intentional user action. Thus, a pin above 500 but less than 990 would be appropriate. -- // If you believe in so-called "intellectual property", please immediately // cease using counterfeit alphabets. Instead, contact the nearest temple // of Amon, whose priests will provide you with scribal services for all // your writing needs, for Reasonable and Non-Discriminatory prices. _______________________________________________ Dng mailing list [email protected] https://mailinglists.dyne.org/cgi-bin/mailman/listinfo/dng
