Consistently use curl instead of wget

This commit is contained in:
Geoff Bourne
2018-06-25 19:13:47 -05:00
parent 4ff14fbf61
commit 4192bea3ab
5 changed files with 5 additions and 5 deletions
+1 -1
View File
@@ -6,7 +6,7 @@ case "X$WORLD" in
X[Hh][Tt][Tt][Pp]*)
echo "Downloading world via HTTP"
echo "$WORLD"
wget -q -O - "$WORLD" > /data/world.zip
curl -sSL -o - "$WORLD" > /data/world.zip
echo "Unzipping word"
unzip -q /data/world.zip
rm -f /data/world.zip