diff --git a/server-properties/start.sh b/server-properties/start.sh index 77a83ed..0d52f79 100755 --- a/server-properties/start.sh +++ b/server-properties/start.sh @@ -78,6 +78,24 @@ fi git pull ) +# +# Import dev-tools +# +if [[ "$ENV" = "dev" || "stag" ]]; then + echo + echo "checking devtools..." + ( + source ./config/server-properties/helpers/curl.sh + cd ./world/datapacks + if [[ ! -f benchmark-v2-1-0.zip ]]; then + "missing Benchmark v2, downloading..." + __curl "https://files.ferdin.land/ferdinland/devtools/benchmark-v2-1-0.zip" > benchmark-v2-1-0.zip + fi + ) + echo "devltools all good!" + echo +fi + # # Copy server-properties #