diff --git a/server-properties/start.sh b/server-properties/start.sh index 0550e43..7467bec 100755 --- a/server-properties/start.sh +++ b/server-properties/start.sh @@ -87,12 +87,15 @@ if [[ "$ENV" = "dev" || "stag" ]]; then ( source ./config/server-properties/helpers/curl.sh cd ./world/datapacks - if [[ ! -f benchmark-v2-1-0.zip ]]; then + if [[ ! -d "Benchmark" ]]; then + file="benchmark-v2-1-0.zip" echo "missing Benchmark v2, downloading..." - __curl "http://nginxwebdav:80/ferdinland/devtools/benchmark-v2-1-0.zip" > benchmark-v2-1-0.zip + __curl "http://nginxwebdav:80/ferdinland/devtools/benchmark-v2-1-0.zip" > $file + gunzip $file + rm $file fi ) - echo "devltools all good!" + echo "devtools all good!" echo fi