feat: Add support for getting latest server via wget with timestamping

MineInAbyss · Jul 30, 2024 · 123bcd4 · 123bcd4
1 parent 240ba6f
commit 123bcd4
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/scripts/dev/download_server b/scripts/dev/download_server
@@ -0,0 +1,10 @@
+#!/bin/sh
+set -e
+
+if [ "$CUSTOM_SERVER_URL" ]; then
+  if [ ! "$CUSTOM_SERVER" ]; then
+    export CUSTOM_SERVER=server.jar
+  fi
+  echo "Checking for server updates from $CUSTOM_SERVER_URL"
+  wget -N -q --show-progress "$CUSTOM_SERVER_URL" -c --output-document="$CUSTOM_SERVER"
+fi
diff --git a/scripts/dev/entrypoint b/scripts/dev/entrypoint
@@ -4,6 +4,7 @@ set -e
 
 . /scripts/dev/ansible
 . /scripts/dev/keepup
+. /scripts/dev/download_server
 
 if [ "$UPDATE_DATA_OWNER" = "true" ]; then
   echo "Updating owner for /data to $UID:$GID"