diff options
| author | Thierry Vignaud <tv@mageia.org> | 2012-08-31 16:44:21 +0000 |
|---|---|---|
| committer | Thierry Vignaud <tv@mageia.org> | 2012-08-31 16:44:21 +0000 |
| commit | 4bdcf8b0d24c233d51de06a446bb0702b17607f5 (patch) | |
| tree | 1d3d8de207ec63eac32680fdd5d9dee308e6a6d4 /urpm/media.pm | |
| parent | 5c42e0563160f0e8c3ed9be44035557d5d5a5c5a (diff) | |
| download | urpmi-4bdcf8b0d24c233d51de06a446bb0702b17607f5.tar urpmi-4bdcf8b0d24c233d51de06a446bb0702b17607f5.tar.gz urpmi-4bdcf8b0d24c233d51de06a446bb0702b17607f5.tar.bz2 urpmi-4bdcf8b0d24c233d51de06a446bb0702b17607f5.tar.xz urpmi-4bdcf8b0d24c233d51de06a446bb0702b17607f5.zip | |
urpmi.addmedia: add new --(no-)verify-rpm options
Diffstat (limited to 'urpm/media.pm')
| -rw-r--r-- | urpm/media.pm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/urpm/media.pm b/urpm/media.pm index fc3d77c6..c8d3dcda 100644 --- a/urpm/media.pm +++ b/urpm/media.pm @@ -836,6 +836,7 @@ sub add_medium { my $medium = { name => $name, url => $url, modified => !$options{ignore}, + (defined $options{'verify-rpm'} ? ('verify-rpm' => $options{'verify-rpm'}) : ()), }; foreach (qw(downloader update ignore media_info_dir mirrorlist with-dir xml-info)) { $medium->{$_} = $options{$_} if exists $options{$_}; |