diff options
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", $@)); |