Re: pinning de debian-multimedia.org

[Carles Muñoz Gorriz <carlesmu@internautas.org>]

En/na Jordi Funollet ha escrit:
> Hola silenciosos companys, ;-)
> 
> Tinc 'debian-multimedia.org' al '/etc/apt/sources.list' d'algunes màquines. 
> Com que les versions són més noves, per defecte instal·larà qualsevol paquet 
> de 'debian-multimedia' abans que l'oficial.
> 
> Vull que es comporti al revés, i per aconseguir-ho intento fer "pinning". He 
> afegit al '/etc/apt/preferences':
> 
>  Package: *
>  Pin: origin www.debian-multimedia.org
>  Pin-Priority: 1

[...]

> També he provat aquest pinning:
> 
>  Pin: release o=Unofficial Multimedia Packages, l=Unofficial Multimedia
>    Packages
> 

Prova amb:
  Pin: release orig www.debian-multimedia.org,n=lenny

o, si fas servir l'estat de la versió (stable, testing...):
  Pin: ...,a=stable


Salut…
-- 
Carles Muñoz Gorriz