Re: gpg key change

Page principale

Répondre à ce message
Auteur: Andrew Engelbrecht
Date:  
À: Manfred Schmitt
CC: dmo-discussion
Sujet: Re: gpg key change
On 01/14/2015 01:59 PM, Manfred Schmitt wrote:
> Andrew Engelbrecht wrote:
>>
>> do you know how to pin deb-multimedia packages so that they upgrade, but
>> only if there is no such package in jessie?
>>
> This works for me:
>
> Package: *
> Pin: origin www.deb-multimedia.org
> Pin-Priority: 322


thanks for the help. it turns out that when i originally set a number in
that range, it was higher than the pinning value i had for sid, so apt
wanted to upgrade one of my packages.

i set sid at a higher pinning value than deb-multimedia, so now it
works! :-)