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 /urpmi.update | |
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
Diffstat (limited to 'urpmi.update')
-rwxr-xr-x | urpmi.update | 4 |
1 files changed, 4 insertions, 0 deletions
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"); |