Re: apt-preferences: is this right?
Andrew Schulman wrote:
Pin: origin "www.schuldei.org/debian/bruby"
I think that will work. Unfortunately, the last time I looked, the "origin"
feature is badly documented. So I'm not sure about the quotes, or how much
of the URL you need. But for example, I have
Pin: origin debian.org
and this does the trick.
Thanks! I should have done this *before* I posted of course, but I
googled and found one hit on "Pin: origin" and it did *not* have the
quotes, so I will try that.