On Mon, Aug 11, 2003 at 07:43:01PM +0300, Jarkko Suontausta wrote: > On Monday 11 August 2003 19:28, Matt Zimmerman wrote: > > What happens if you change the priority to -10 or so? I think zero may be > > special.apt_preferences > > Negative values are ok, only zero is special. However, according to > apt_preferences(5), this shouldn't be the case: > > "HOW APT INTERPRETS PRIORITIES > <cut> > 0 <= P <=100 > causes a version to be installed only if there is no installed > version of the package"
Since I don't feel too confident about changing the semantics of priority zero, I think the best solution is to change the documentation to match the existing behaviour, and have apt print a warning if it encounters this situation. -- - mdz
