On Sat, Feb 25, 2012 at 01:56:17AM +0100, Carsten Hey wrote: > This reads like you ask if "main | non-free" should be allowed. In my > opinion, the question should rather be if it must be "main | non-free" > or if both, "main | non-free" and "non-free | main", should be allowed > and how a possible mechanism to let users choose between "always prefer > free packages" and "follow the maintainer's recommendation, even it > a non-free package is preferred" could look like.
That's easy: Package: * Pin: release c=non-free Pin-Priority: 1 in a file in /etc/apt/preferences.d/ -- The volume of a pizza of thickness a and radius z can be described by the following formula: pi zz a -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
