diff options
author | Christophe Fergeau <cfergeau@mandriva.com> | 2010-03-09 14:52:43 +0000 |
---|---|---|
committer | Christophe Fergeau <cfergeau@mandriva.com> | 2010-03-09 14:52:43 +0000 |
commit | 7ebbcd8277551d89f0e9b7395efd32866ff54adc (patch) | |
tree | c1e11fff69e51e6ea937e6221a60596a058f724f /po/wa.po | |
parent | 9b9238399f5d6ec00ce23ef47991eedf406e3571 (diff) | |
download | urpmi-7ebbcd8277551d89f0e9b7395efd32866ff54adc.tar urpmi-7ebbcd8277551d89f0e9b7395efd32866ff54adc.tar.gz urpmi-7ebbcd8277551d89f0e9b7395efd32866ff54adc.tar.bz2 urpmi-7ebbcd8277551d89f0e9b7395efd32866ff54adc.tar.xz urpmi-7ebbcd8277551d89f0e9b7395efd32866ff54adc.zip |
remember which media local packages came from
It's sometimes possible that a package is available from both a
local medium (CDROM) and a distant one. This causes problems
when the package isn't signed with the same key (this is bad
but happens on MES5 install CDs) as urpmi tends to get confused
about where a package comes from and then check the package against
the wrong key.
Packages are assigned IDs by urpmi, and these IDs are
used to figure out the package media. This ID is also used as an
identifier to "recognize" identical packages coming from different
media, so we need to be careful when manipulating it. In particular,
we can't assign the right ID to every package right away because then
this would break package downloading (we'd download packages available
on local media).
When processing packages to download, if we encounter a local
package, we assign it the right ID. This assumes the list of media
in the blist are sorted by order of relevance (ie prioritary ones
first).
Diffstat (limited to 'po/wa.po')
0 files changed, 0 insertions, 0 deletions