From d0975a4dc82a25a2f1e2105e9c405fcaf067bdfa Mon Sep 17 00:00:00 2001
From: Rafael Garcia-Suarez <rgarciasuarez@mandriva.org>
Date: Wed, 24 Nov 2004 13:19:40 +0000
Subject: When invoking urpmi.addmedia with --proxy, save this proxy setting
 for this particular new media. (bug 12483)

---
 urpm/download.pm | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'urpm')

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) = @_;
-- 
cgit v1.2.1