From ddaeaf076ab897c401f4824a66399bfc450c25cd Mon Sep 17 00:00:00 2001 From: igneum-labs <337424239+igneum-labs@users.noreply.github.com> Date: Tue, 6 Oct 2026 23:17:48 +0000 Subject: [PATCH] lib/box.py: the node path pattern in the bracket form; the pgrep check allows the variable it is read through Co-Authored-By: Claude Fable 5.1 --- tools/fleet/lib/box.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/fleet/lib/box.py b/tools/fleet/lib/box.py index a650c425e..a00808b61 100644 --- a/tools/fleet/lib/box.py +++ b/tools/fleet/lib/box.py @@ -4,7 +4,7 @@ KEY = os.path.expanduser("~/.ssh/igneum-fleet") SSH_OPTS = ["-i", KEY, "-o", "StrictHostKeyChecking=no", "-o", "UserKnownHostsFile=/dev/null", "-o", "LogLevel=ERROR", "-o", "ConnectTimeout=20", "-o", "ServerAliveInterval=10", "-o", "ServerAliveCountMax=3", "-o", "BatchMode=yes"] B = "/opt/igneum/pkg/bin"; F = "/root/fleet" -NODE_PATH_PATTERN = "^/root/fleet/in/igneumd|^/opt/igneum/pkg/bin/igneumd" +NODE_PATH_PATTERN = "^[/]root/fleet/in/igneumd|^[/]opt/igneum/pkg/bin/igneumd" # the bracket form: the shell that runs a pgrep/pkill with this pattern never matches itself def now(): return datetime.datetime.now(datetime.timezone.utc).strftime("%Y-%m-%dT%H:%M:%SZ") class SshError(RuntimeError): pass def hexi(v):