Re: apt-preferences: is this right?

[Hugo Vanwoerkom <hvw59601@care2.com>]

Andrew Schulman wrote:
> > Package: *
> > Pin: origin "www.schuldei.org/debian/bruby"
> > Pin-Priority: 999
>
>
> 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
>
> Package: k3b
> Pin: origin debian.org
> Pin-Priority: 991
>
> and this does the trick.
>
> Good luck,
> Andrew.

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.

Hugo.