Bug#858406: allow the local admin to mark repositories and use marks for pinning

[Julian Andres Klode <jak@debian.org>]

On Tue, Mar 21, 2017 at 10:19:27PM -0400, Daniel Kahn Gillmor wrote:
> I'm proposing a new apt source option "pinmark", set by the sysadmin, which
> can then be used directly in the pinning.

Back when I thought about this, I wanted to just call it "id". 

> and then being able to place a specific pin based on the mark:
> 
>     Package: *
>     Pin: mark sketch
>     Pin-Priority: -10

And here it would be 

Pin: source i=sketch
	(source id=sketch?)

or "Package: ?source-id(sketch)" when we get aptitude style 
patterns.

-- 
Debian Developer - deb.li/jak | jak-linux.org - free software dev
                  |  Ubuntu Core Developer |
When replying, only quote what is necessary, and write each reply
directly below the part(s) it pertains to ('inline').  Thank you.