diff options
| author | Rafael Garcia-Suarez <rgarciasuarez@mandriva.org> | 2004-06-29 07:16:51 +0000 |
|---|---|---|
| committer | Rafael Garcia-Suarez <rgarciasuarez@mandriva.org> | 2004-06-29 07:16:51 +0000 |
| commit | c9e1ae1c9a310d2d1f237646ed381632cf071d4a (patch) | |
| tree | 650ee1fa057c3ca2905ac318c173578d314e8773 /urpmi.addmedia | |
| parent | e1d903c8ea73f57ca704720dacc747c66a785a32 (diff) | |
| download | urpmi-c9e1ae1c9a310d2d1f237646ed381632cf071d4a.tar urpmi-c9e1ae1c9a310d2d1f237646ed381632cf071d4a.tar.gz urpmi-c9e1ae1c9a310d2d1f237646ed381632cf071d4a.tar.bz2 urpmi-c9e1ae1c9a310d2d1f237646ed381632cf071d4a.tar.xz urpmi-c9e1ae1c9a310d2d1f237646ed381632cf071d4a.zip | |
Support for setting proxy per-media in proxy.cfg
Diffstat (limited to 'urpmi.addmedia')
| -rwxr-xr-x | urpmi.addmedia | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/urpmi.addmedia b/urpmi.addmedia index 3a8fc082..7efd2a6e 100755 --- a/urpmi.addmedia +++ b/urpmi.addmedia @@ -133,7 +133,14 @@ sub main { unlink "$urpm->{cachedir}/partial/$basename"; eval { $urpm->{log}(N("retrieving mirrors at %s ...", $options{from})); - $urpm->{sync}({ dir => "$urpm->{cachedir}/partial", quiet => 1, proxy => $urpm->{proxy} }, $options{from}); + $urpm->{sync}( + { + dir => "$urpm->{cachedir}/partial", + quiet => 1, + proxy => get_proxy(), + }, + $options{from}, + ); $urpm->{log}(N("...retrieving done")); }; $@ and $urpm->{log}(N("...retrieving failed: %s", $@)); |