Re: gpg key change

Top Page

Reply to this message
Author: Manfred Schmitt
To: dmo-discussion
Subject: 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
Pin-Priority: 322

Doesn't installs all but upgrades manually installed packages from

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).