diff options
author | Rafael Garcia-Suarez <rgarciasuarez@mandriva.org> | 2005-12-23 14:27:57 +0000 |
---|---|---|
committer | Rafael Garcia-Suarez <rgarciasuarez@mandriva.org> | 2005-12-23 14:27:57 +0000 |
commit | 099dde0f81c5e0b20dc79ede9fc555d04229461e (patch) | |
tree | b65f85490169220baac70de65661353ee75aa1dc | |
parent | dc7a359bc304fc998c14f679a0744953a0db9993 (diff) | |
download | urpmi-099dde0f81c5e0b20dc79ede9fc555d04229461e.tar urpmi-099dde0f81c5e0b20dc79ede9fc555d04229461e.tar.gz urpmi-099dde0f81c5e0b20dc79ede9fc555d04229461e.tar.bz2 urpmi-099dde0f81c5e0b20dc79ede9fc555d04229461e.tar.xz urpmi-099dde0f81c5e0b20dc79ede9fc555d04229461e.zip |
Don't update media twice when restarting urpmi
-rwxr-xr-x | urpmi | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -310,6 +310,9 @@ my %config_hash = ( usedistrib => $usedistrib, ); +if (exists $urpm->{options}{'priority-upgrade'} && $urpm->{options}{'priority-upgrade'} eq '') { + $auto_update = 0; +} if ($auto_update && !$bug && !$env) { message(N("Updating media...")); #- FIXME we need to configure it twice; otherwise |