pinning de debian-multimedia.org
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
Però ho ignora sobiranament:
# apt-cache policy ffmpeg
ffmpeg:
Installed: (none)
Candidate: 3:20080706-0.3lenny1
Version table:
3:20080706-0.3lenny1 0
990 http://www.debian-multimedia.org lenny/main Packages
0.svn20080206-18 0
990 http://ftp.caliu.cat lenny/main Packages
Alguna idea?
També he provat aquest pinning:
Pin: release o=Unofficial Multimedia Packages, l=Unofficial Multimedia
Packages
--
##############################
### Jordi Funollet
### http://www.terraquis.net
Reply to: