Re: gpg key change

Top Page

Reply to this message
Author: Manfred Schmitt
Date:  
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 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