From a708cb779ed9ffe92cab2955ec94812c8e4bf50e Mon Sep 17 00:00:00 2001 From: Henrik Jess Nielsen Date: Sun, 10 May 2026 15:07:22 +0200 Subject: [PATCH] fix: push_catalogs.sh uses ilsp.i80.dk (not lsp.i80.dk) --- scripts/push_catalogs.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/push_catalogs.sh b/scripts/push_catalogs.sh index 53e1102..e1b9936 100755 --- a/scripts/push_catalogs.sh +++ b/scripts/push_catalogs.sh @@ -13,8 +13,8 @@ set -euo pipefail DEVOPS_MCP_REPO="${DEVOPS_MCP_REPO:-$HOME/Projects/DevOpsMCP}" AUTOBOX="autobox.i80.dk" REMOTE_DIR="/opt/nomad/volumes/ilsp-data" -HEALTH_URL="https://lsp.i80.dk/health" -RELOAD_URL="https://lsp.i80.dk/reload" +HEALTH_URL="https://ilsp.i80.dk/health" +RELOAD_URL="https://ilsp.i80.dk/reload" NO_RELOAD=false for arg in "$@"; do @@ -52,7 +52,7 @@ echo " → Calling $RELOAD_URL …" if response=$(curl -sf -X POST "$RELOAD_URL" 2>/dev/null); then echo " ✓ $response" else - echo " ✗ /reload failed (is lsp.i80.dk reachable? try: make health-prod)" + echo " ✗ /reload failed (is ilsp.i80.dk reachable? try: curl https://ilsp.i80.dk/health)" echo " Catalogs are on disk — they'll be used on next restart." exit 1 fi