diff options
| author | Thierry Vignaud <tv@mandriva.org> | 2007-09-14 13:44:32 +0000 |
|---|---|---|
| committer | Thierry Vignaud <tv@mandriva.org> | 2007-09-14 13:44:32 +0000 |
| commit | 6b7195df05c63e98d20326b4f1693aaee985df4e (patch) | |
| tree | 1760cadc6debdef466e57ba9cdd0615aeba03622 /gurpmi.addmedia | |
| parent | 312ba08d7929c517d7d60caa8cd3afff278e70de (diff) | |
| download | rpmdrake-6b7195df05c63e98d20326b4f1693aaee985df4e.tar rpmdrake-6b7195df05c63e98d20326b4f1693aaee985df4e.tar.gz rpmdrake-6b7195df05c63e98d20326b4f1693aaee985df4e.tar.bz2 rpmdrake-6b7195df05c63e98d20326b4f1693aaee985df4e.tar.xz rpmdrake-6b7195df05c63e98d20326b4f1693aaee985df4e.zip | |
handle --distrib
Diffstat (limited to 'gurpmi.addmedia')
| -rwxr-xr-x | gurpmi.addmedia | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gurpmi.addmedia b/gurpmi.addmedia index c561b9ef..bf990e3d 100755 --- a/gurpmi.addmedia +++ b/gurpmi.addmedia @@ -37,6 +37,7 @@ where <url> is one of removable://<path> and [options] are from + --distrib install a set of media from a distribution --update create an update medium. --silent-success don't show popup window on success "; @@ -62,10 +63,11 @@ if (@ARGV == 1 && $ARGV[0] =~ /\.urpmi-media$/) { $fromfile = 1; } -my ($update, $silent_success) = (0, 0); +my ($update, $distrib, $silent_success) = (0, 0, 0); GetOptions( 'update' => \$update, + 'distrib' => \$distrib, 'silent-success' => \$silent_success, ); @@ -118,7 +120,7 @@ foreach (@addmedia_args) { #- NB: that short circuits $success = $success && add_medium_and_check( $urpm, - { probe_with => !$_->[2] }, + { probe_with => !$_->[2], distrib => $distrib }, $_->[0], $_->[1], $_->[3], |