diff options
| -rw-r--r-- | NEWS | 2 | ||||
| -rw-r--r-- | urpm/media.pm | 5 |
2 files changed, 7 insertions, 0 deletions
@@ -3,6 +3,8 @@ - gurpmi o display the download errors o log all urpmi logs +- urpmi.update + o fix --force-key (#45094) - urpmi.addmedia o do not allow "/" in media name (#44765) diff --git a/urpm/media.pm b/urpm/media.pm index 2c12ca84..3a21a0aa 100644 --- a/urpm/media.pm +++ b/urpm/media.pm @@ -1513,6 +1513,7 @@ sub _get_pubkey { ($local ? \&_get_pubkey__local : \&_download_pubkey)->($urpm, $medium); $medium->{'key-ids'} =_read_cachedir_pubkey($urpm, $medium, $b_wait_lock); + $urpm->{modified} = 1; } sub _get_pubkey_and_descriptions { @@ -1577,6 +1578,10 @@ sub _update_medium_ { if ($options{forcekey}) { delete $medium->{'key-ids'}; + if ($rc eq 'unmodified') { + _get_pubkey($urpm, $medium); # we must do it now, quite hackish... + return 1; + } } if (!$rc || $rc eq 'unmodified') { |