diff options
| author | Rafael Garcia-Suarez <rgarciasuarez@mandriva.org> | 2004-07-26 01:09:59 +0000 |
|---|---|---|
| committer | Rafael Garcia-Suarez <rgarciasuarez@mandriva.org> | 2004-07-26 01:09:59 +0000 |
| commit | d2dff5993cab6360557eda7d3f68d2fed47c6629 (patch) | |
| tree | 3934420eb132220434316562f74d6aadd19393bd /urpm.pm | |
| parent | 0e345d483f0116470e3b5438696f5b7699fd20dd (diff) | |
| download | urpmi-d2dff5993cab6360557eda7d3f68d2fed47c6629.tar urpmi-d2dff5993cab6360557eda7d3f68d2fed47c6629.tar.gz urpmi-d2dff5993cab6360557eda7d3f68d2fed47c6629.tar.bz2 urpmi-d2dff5993cab6360557eda7d3f68d2fed47c6629.tar.xz urpmi-d2dff5993cab6360557eda7d3f68d2fed47c6629.zip | |
Add a "noreconfigure" flag for media that don't want to be reconfigured.
(patch by Michael Scherer)
Diffstat (limited to 'urpm.pm')
| -rw-r--r-- | urpm.pm | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -164,6 +164,7 @@ sub read_config { key-ids list md5sum + noreconfigure removable synthesis update @@ -1287,7 +1288,7 @@ this could happen if you mounted manually the directory when creating the medium } } else { #- check for a reconfig.urpmi file (if not already reconfigured) - if (!$media_redone{$medium->{name}}) { + if (!$media_redone{$medium->{name}} and !$medium->{noreconfigure}) { my $reconfig_urpmi_url = "$medium->{url}/reconfig.urpmi"; unlink( my $reconfig_urpmi = "$urpm->{cachedir}/partial/reconfig.urpmi" ); eval { |