fix: 修复部署问题
This commit is contained in:
@@ -4,6 +4,10 @@ set -euo pipefail
|
||||
ROOT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
|
||||
cd "$ROOT_DIR"
|
||||
|
||||
bash scripts/stop_edge_device_local.sh
|
||||
EDGE_RUNTIME_DIR="${EDGE_RUNTIME_DIR:-runtime}"
|
||||
ENV_FILE="${ENV_FILE:-.env}"
|
||||
ENV_TEMPLATE_FILE="${ENV_TEMPLATE_FILE:-.env.example}"
|
||||
|
||||
EDGE_RUNTIME_DIR="$EDGE_RUNTIME_DIR" bash scripts/stop_edge_device_local.sh
|
||||
sleep 1
|
||||
bash scripts/start_edge_device_local.sh
|
||||
ENV_FILE="$ENV_FILE" ENV_TEMPLATE_FILE="$ENV_TEMPLATE_FILE" EDGE_RUNTIME_DIR="$EDGE_RUNTIME_DIR" bash scripts/start_edge_device_local.sh
|
||||
|
||||
Reference in New Issue
Block a user