From dd6827946b5b891ff587527370e68c14d68de5eb Mon Sep 17 00:00:00 2001 From: Felix Fietkau Date: Mon, 16 Oct 2006 00:24:43 +0000 Subject: [PATCH] sync whiterussian download.pl with trunk, allow the user to specify additional wget options by using the WGET_OPTIONS env var SVN-Revision: 5144 --- scripts/download.pl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/scripts/download.pl b/scripts/download.pl index c29b5fe78e..8f5d1d6b46 100755 --- a/scripts/download.pl +++ b/scripts/download.pl @@ -35,8 +35,10 @@ chomp $md5cmd; sub download { my $mirror = shift; + my $options = $ENV{WGET_OPTIONS}; + $options or $options = ""; - open WGET, "wget -t1 --timeout=20 -O- \"$mirror/$filename\" |" or die "Cannot launch wget.\n"; + open WGET, "wget -t1 --timeout=20 $options -O- \"$mirror/$filename\" |" or die "Cannot launch wget.\n"; open MD5SUM, "| $md5cmd > \"$target/$filename.md5sum\"" or die "Cannot launch md5sum.\n"; open OUTPUT, "> $target/$filename.dl" or die "Cannot create file $target/$filename.dl: $!\n"; my $buffer; -- 2.25.1