From 16de822cb27ee24ff7060a9ac35592720ea02eaa Mon Sep 17 00:00:00 2001 From: Lea Date: Mon, 10 Jul 2023 22:52:40 +0200 Subject: [PATCH] fixed race condition in dev script --- scripts/development.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/development.sh b/scripts/development.sh index 6f9f76b..51ecce5 100755 --- a/scripts/development.sh +++ b/scripts/development.sh @@ -25,6 +25,7 @@ function block_for_change { function build { echo "Copying pack to $TARGET_PATH" rm -rf "$TARGET_PATH" + sleep 1 cp -r "./pack" "$TARGET_PATH" echo "Reload the game with F3+T now" }