Merge pull request #243 from mattiaskagstrom/patch-1

unzip fails if a file already exists in the zip file.
This commit is contained in:
Geoff Bourne
2018-08-25 14:52:32 -05:00
committed by GitHub
+1 -1
View File
@@ -7,7 +7,7 @@ case "X$WORLD" in
echo "Downloading world from $WORLD"
curl -sSL -o - "$WORLD" > /data/world.zip
echo "Unzipping world"
unzip -q /data/world.zip
unzip -o -q /data/world.zip
rm -f /data/world.zip
if [ ! -d /data/world ]; then
echo World directory not found