Add over-SSH installer for provisioning the Raspberry Pis #2
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "feat/pi-installer"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Hardware testing starts now with more than one Pi to provision and re-provision as the code changes, so installing by hand doesn't scale.
What
make piinstall PI=<host>— run from the Mac, once per Pi. Rsyncs the working tree to the Pi and runs the installer over SSH.UPGRADE=1opts into a fullapt-get upgrade;DESToverrides the target dir.scripts/pi_install.sh— the idempotent on-Pi steps: installlibportaudio2+libopus0, bootstrapuv,uv sync --extra pi --extra opus, and an import check so a missing native lib fails at install rather than first call.DECISIONS.md— new project decision log, seeded with the deployment choices made here.Notes
git ls-files(tracked + untracked-but-not-ignored), so re-runs never clobber each Pi's own gitignoredconfig.yamland never ship.venv/caches.~/.local/bin; the script puts it on PATH for its own run, but interactiveuv runafterward may need a fresh login shell.🤖 Generated with Claude Code