When invoking urpmi.addmedia with --proxy, save this proxy setting for

this particular new media. (bug 12483)

1 files changed, 11 insertions, 0 deletions

diff --git a/urpm/download.pm b/urpm/download.pm
index 7078fb11..03aa341b 100644
--- a/urpm/download.pm
+++ b/urpm/download.pm
@@ -88,6 +88,17 @@ sub get_proxy (;$) {
 	};
 }
 
+#- copies the settings for proxies from the command line to media named $media
+#- and writes the proxy.cfg file (used for new media)
+sub copy_cmd_line_proxy {
+    my ($media) = @_;
+    return unless $media;
+    if (defined $proxy_config->{cmd_line}) {
+	$proxy_config->{$media} = $proxy_config->{cmd_line};
+	dump_proxy_config();
+    }
+}
+
 #- overrides the config file proxy settings with values passed via command-line
 sub set_cmdline_proxy {
     my (%h) = @_;