diff options
author | Pascal Rigaux <pixel@mandriva.com> | 2008-10-21 14:40:01 +0000 |
---|---|---|
committer | Pascal Rigaux <pixel@mandriva.com> | 2008-10-21 14:40:01 +0000 |
commit | e62694221045e66423fa584fb9676fb2179e5198 (patch) | |
tree | b9ddaa8aac753d5fc36112b82d1ee6bb29fdf8e9 | |
parent | 905851a1beac15d6936b9f93fb701660fb676617 (diff) | |
download | urpmi-e62694221045e66423fa584fb9676fb2179e5198.tar urpmi-e62694221045e66423fa584fb9676fb2179e5198.tar.gz urpmi-e62694221045e66423fa584fb9676fb2179e5198.tar.bz2 urpmi-e62694221045e66423fa584fb9676fb2179e5198.tar.xz urpmi-e62694221045e66423fa584fb9676fb2179e5198.zip |
- urpmi.update, urpmi.addmedia
o exit on failing media instead of ignoring them
(esp. for urpmi.addmedia --distrib).
exceptions: "urpmi.update -a" and "urpmi.update --update"
for backward compatibility
-rw-r--r-- | NEWS | 5 | ||||
-rw-r--r-- | urpm/media.pm | 2 | ||||
-rwxr-xr-x | urpmi.update | 4 |
3 files changed, 11 insertions, 0 deletions
@@ -7,6 +7,11 @@ o fix --force-key (#45094) - urpmi.addmedia o do not allow "/" in media name (#44765) +- urpmi.update, urpmi.addmedia + o exit on failing media instead of ignoring them + (esp. for urpmi.addmedia --distrib). + exceptions: "urpmi.update -a" and "urpmi.update --update" + for backward compatibility Version 6.17 - 14 October 2008 diff --git a/urpm/media.pm b/urpm/media.pm index d0291b8e..71898729 100644 --- a/urpm/media.pm +++ b/urpm/media.pm @@ -1664,6 +1664,7 @@ sub _update_media__handle_some_flags { #- the recomputation of base files. #- Recognized options : #- all : all medias are being rebuilt +#- allow_failures: whereas failing to update a medium is non fatal #- callback : UI callback #- forcekey : force retrieval of pubkey #- force : try to force rebuilding base files @@ -1689,6 +1690,7 @@ sub update_media { my %updates_result; foreach my $medium (grep { $_->{modified} } non_ignored_media($urpm)) { my $rc = _update_medium($urpm, $medium, %options); + $rc or return if !$options{allow_failures}; $updates_result{$rc || 'error'}++; } diff --git a/urpmi.update b/urpmi.update index 7698d324..229820b9 100755 --- a/urpmi.update +++ b/urpmi.update @@ -73,6 +73,10 @@ urpm::media::read_config($urpm, 'nocheck'); my @chosen_media; +if ($options{all} || $options{update}) { + $options{allow_failures} = 1; +} + if ($options{all} && !defined $options{ignore}) { @chosen_media = @{$urpm->{media}} or die N("nothing to update (use urpmi.addmedia to add a media)\n"); |