Hi, Santiago Vila: > A good rule to follow if we keep current policy would be that > libraries should always have the lowest priority possible > (but >= optional) that makes the rule > > "packages should not depend on others with lower priority values" > > to be true.
That's obvious. What is not so obvious, to me, is why we would still want the current policy in the first place, given that everything(?) is resolved via dependencies these days. The only practical effect of these priorities I can recognize is that apt* refuses to remove Essential packages without asking a question which reminds me what the Shift key is for.¹² … but let's release Jessie first. ① When a terminal window is set to mouse mode, you need to press Shift if you want standard copy+paste behavior. ② Other than writing capital letters, of course. -- -- Matthias Urlichs -- To UNSUBSCRIBE, email to debian-policy-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/20141029183056.ga8...@smurf.noris.de
