From 2416f3f9910d703221bd3a794aa4c664623ea48d Mon Sep 17 00:00:00 2001
From: bigeagle <justin.w.xd@gmail.com>
Date: Wed, 8 Jun 2016 17:24:02 +0800
Subject: [PATCH] added WGET_OPTIONS to apt-download

---
 helpers/apt-download | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helpers/apt-download b/helpers/apt-download
index 10b40da..e6636d0 100644
--- a/helpers/apt-download
+++ b/helpers/apt-download
@@ -8,7 +8,7 @@ function check-and-download() {
 	remote_file=$1
 	local_file=$2
 	echo "downloading ${remote_file}"
-	timeout -s INT 300 wget -q -N -O ${local_file} ${remote_file} || {
+	timeout -s INT 300 wget -q -N -O ${WGET_OPTIONS} ${local_file} ${remote_file} || {
 		rm ${local_file}
 		return 1
 	}