Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/apt-mirror/apt-mirror.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBenjamin Drung <bdrung@debian.org>2014-04-12 18:28:17 +0400
committerBenjamin Drung <bdrung@debian.org>2014-04-12 18:28:17 +0400
commitf88db1a0c96ceb82ac4a44e52357ba6db4d71715 (patch)
tree53aea51c2954f4b5e7df9f75105df9d1ef6c5d84 /apt-mirror
parente1f16f1174771498c973f3b17b409a64f39d3e1e (diff)
Set default use_proxy and http_proxy variables.
Diffstat (limited to 'apt-mirror')
-rwxr-xr-xapt-mirror2
1 files changed, 2 insertions, 0 deletions
diff --git a/apt-mirror b/apt-mirror
index 6c5d45c..c59cc8e 100755
--- a/apt-mirror
+++ b/apt-mirror
@@ -114,6 +114,8 @@ my %config_variables = (
"no_check_certificate" => 0,
"unlink" => 0,
"postmirror_script" => '$var_path/postmirror.sh',
+ "use_proxy" => 'off',
+ "http_proxy" => '',
"proxy_user" => '',
"proxy_password" => ''
);