30 lines
2.6 KiB
YAML
30 lines
2.6 KiB
YAML
# nh3-dev phase of the v0.0.17 rollout: app-terminal 0.0.6 (U17: the seat host classifies each live pane working/waiting
|
|
# against the kernel's per-runtime marks; activity_interval_seconds at its default 5, no terminal.toml edit). Release
|
|
# 15c2d04 is already built beside the live one in /opt/svos/releases/15c2d04 (uv pip freeze differs from 3726d73 in
|
|
# svos-terminal only). Restarts ONLY svos-terminal; postoffice, miranda and agent keep running 3726d73's identical code until
|
|
# their next restart. Terminal's manifest changes: registration raises ONE card, and the app refuses wrong-revision until
|
|
# Prime approves it (he is at the board: Prime 2235 2026-10-18 via svos-dev, thread 01M595YP8R62Y665C38MHPH6YX).
|
|
# Run as: scripts/elway infra-ops@10.100.10.50 (the apps are lkraven USER units, driven with runuser + XDG_RUNTIME_DIR).
|
|
steps:
|
|
- name: Release 15c2d04 is built and carries terminal 0.0.6
|
|
shell: test -f /opt/svos/releases/15c2d04/release.json && /opt/svos/releases/15c2d04/apps-env/bin/python -c "from importlib.metadata import version; v = version('svos-terminal'); print('terminal', v); assert v == '0.0.6'"
|
|
changed_when: "false"
|
|
- name: Switch current to 15c2d04 (as lkraven, who owns /opt/svos on nh3-dev)
|
|
sudo: true
|
|
shell: runuser -u lkraven -- sh -c 'ln -sfn /opt/svos/releases/15c2d04 /opt/svos/current.new && mv -T /opt/svos/current.new /opt/svos/current && readlink /opt/svos/current'
|
|
- name: Restart ONLY svos-terminal
|
|
sudo: true
|
|
shell: |
|
|
runuser -u lkraven -- env XDG_RUNTIME_DIR=/run/user/1000 systemctl --user restart svos-terminal
|
|
sleep 6; runuser -u lkraven -- env XDG_RUNTIME_DIR=/run/user/1000 systemctl --user is-active svos-terminal
|
|
pid=$(runuser -u lkraven -- env XDG_RUNTIME_DIR=/run/user/1000 systemctl --user show svos-terminal -p MainPID --value); grep -oE '/opt/svos/releases/[0-9a-f]+' /proc/$pid/maps | sort -u
|
|
runuser -u lkraven -- env XDG_RUNTIME_DIR=/run/user/1000 journalctl --user -u svos-terminal --since "-60s" --no-pager -o cat | grep -i -E "manifest|card|held|revision|activity|error" | tail -8 | cut -c1-200
|
|
verify:
|
|
- name: Terminal runs 15c2d04 and its seat host came up
|
|
sudo: true
|
|
shell: |
|
|
pid=$(runuser -u lkraven -- env XDG_RUNTIME_DIR=/run/user/1000 systemctl --user show svos-terminal -p MainPID --value)
|
|
grep -q /opt/svos/releases/15c2d04 /proc/$pid/maps && echo "terminal pid $pid on 15c2d04"
|
|
! runuser -u lkraven -- env XDG_RUNTIME_DIR=/run/user/1000 journalctl --user -u svos-terminal --since "-5min" --no-pager -o cat | grep -i "Seat host unavailable"
|
|
changed_when: "false"
|