Re: gpg key change

Página superior

Responder a este mensaje
Autor: Manfred Schmitt
Fecha:  
A: dmo-discussion
Asunto: Re: gpg key change
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

Doesn't installs all but upgrades manually installed packages from
deb-multimedia.

All packages from deb-multimedia where an upgrade is available:
aptitude search '~S ~U ~O "Unofficial Multimedia Packages"'

All installed packages from deb-multimedia:
aptitude search '~S ~i ~O "Unofficial Multimedia Packages"'

See also 'man apt_preferences' and the output of 'apt-cache policy'
without and with a packagename (from deb-multimedia).

Bye,
Manne