Ciao a tutti!!

scusate... mi sono persa un pezzo...

dopo aver rimpinzato il tuo /etc/apt/sources.list con tutti i repository che
ti servono.. devi applicare l'apt pinning
ovvero:

in *** /etc/apt/preferences ***
devi impostare le priorità che desideri dando ad ogni repository una
preferenza di "pin" (pin + alto = corsia preferenziale):

[Package: *
Pin: release a=stable
Pin-Priority: 990] 990 è il default

Package: *
Pin: origin www.debian-multimedia.org
Pin-Priority: 600

e poi un bel
apt-get update o aptitude update
e poi ricontrolla con
apt-get policy ffmpeg

PS: invece di "Package: *" ti consiglio di mettere direttamente il pacchetto
desiderato: es "Package: ffmpeg"
ricorda che così facendo fissi la priorità di installazione
Non era forse così??
ciuz

Rispondere a