
9 May
2016
9 May
'16
5:57 p.m.
commit 6633f938312fcfd229a4f3157fb0f8ba6fe2b76b Author: Arturo Filastò <arturo@filasto.net> Date: Wed Apr 27 19:01:55 2016 +0200 Use wget instead of curl for downloading packages --- scripts/build_tor2web_tor.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/build_tor2web_tor.sh b/scripts/build_tor2web_tor.sh index a9042ff..85397b6 100755 --- a/scripts/build_tor2web_tor.sh +++ b/scripts/build_tor2web_tor.sh @@ -55,7 +55,7 @@ if [ $? -ne 0 ]; then fi for URL in $URLS; do - curl -LO $URL + wget $URL done BUILD=$SCRIPT_ROOT/build