Il sito pubblico è sul VPS: make deploy-vps controlla che https://50037.manzolo.it serva la versione appena spedita (VPS_URL); STATO.md aggiornato

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GiECd9RWGMKV7n3K1mdy8T
This commit is contained in:
2026-10-31 16:16:24 +01:00
co-authored by Claude Opus 5.5
parent 995ad09cca
commit dc17a7f963
2 changed files with 11 additions and 4 deletions
+5
View File
@@ -124,6 +124,7 @@ image-size: ## Dimensione dell'immagine
# Host e indirizzo stanno in deploy.local.mk, fuori da git, per esempio:
# DEPLOY_HOST = root@mio-server
# DEPLOY_URL = https://gioco.esempio
# VPS_URL = https://gioco.esempio (make deploy-vps controlla lì la versione pubblicata)
# VPS_HOST = mio-vps (facoltativo: una seconda copia, con make deploy-vps)
# VPS_DIR = docker/leggenda-regolo
-include deploy.local.mk
@@ -162,6 +163,10 @@ deploy-vps: ## Spedisce al VPS (VPS_HOST, VPS_DIR in deploy.local.mk) l'immagine
docker save $(IMAGE):$$(git rev-parse --short HEAD) $(IMAGE):latest | gzip | \
ssh $(VPS_HOST) 'gunzip | docker load -q && cd $(VPS_DIR) && docker compose up -d && docker image prune -f >/dev/null'
@ssh $(VPS_HOST) "docker exec $(IMAGE) grep -o \"VERSION = '[^']*'\" /usr/share/nginx/html/src/version.js" | sed 's/^/→ $(VPS_HOST): /'
@# L'indirizzo pubblico (VPS_URL), se c'è: deve servire la versione appena spedita.
@test -z "$(VPS_URL)" || { v=$$(grep -o "VERSION = '[^']*'" src/version.js); \
for i in 1 2 3 4 5; do curl -s $(VPS_URL)/src/version.js | grep -qF "$$v" && break; sleep 2; done; \
curl -s $(VPS_URL)/src/version.js | grep -qF "$$v" && echo "→ $(VPS_URL): $$v" || { echo "$(VPS_URL) non serve $$v"; exit 1; }; }
deploy-logs: ## Log del container sul server di deploy
@test -n "$(DEPLOY_HOST)" || { echo "manca DEPLOY_HOST: scrivilo in deploy.local.mk"; exit 2; }