Repository navigation
feat: releases, Imager listing and box updates (MAD-809, MAD-810) - #8
Merged
Merged
Conversation
Releases (MAD-809, ADR 0011): - A v* tag builds and smoke-tests the image, then publishes a GitHub Release with the .img.xz, its .sha256, the .deb, a cosign-signed (keyless) SHA256SUMS and the CHANGELOG section as the notes. - Raspberry Pi Imager listing (imager/os_list.json on GitHub Pages), regenerated per release, init_format cloudinit-rpi like Pi OS Trixie. - The image strips docs, man pages and translations (and keeps them out via a dpkg path-exclude drop-in); the smoke test enforces < 1 GiB. - README Install section: Imager content repository, customization, pairing, verifying downloads. Updates (MAD-810, ADR 0012): - The box's software is now the syncphony-box .deb, built from packaging/root; the image installs it instead of copying files. - Signed apt repo on GitHub Pages, used only by the updater (pi-gen's export apt runs never see it). - syncphony-update.timer at 04:00 runs `boxd update`: skips while the room plays or with auto_update=off, upgrades the real root through `syncphony-box chroot` (now with /data and a writable /boot/firmware), records the result on /data, reboots only if something changed and the room is idle. `sudo syncphony-box update` runs it by hand. - /v1/info reports the last update; /status reports "playing". - data-persist restore merges account files so users and groups an update adds survive the next boot. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
MAD-809: releases and the Raspberry Pi Imager listing (ADR 0011)
v*tag builds and smoke-tests the image, then the newreleasejob publishes:.img.xz, its.sha256, the.deb, a cosign-signed (keyless)SHA256SUMS, and theCHANGELOG.mdsection as the notes;imager/os_list.jsonongh-pages.init_format: cloudinit-rpi, the same as Raspberry Pi's own Trixie entries, so Imager's Wi-Fi, SSH and hostname settings apply.rpi-imager --repo, pairing, verifying downloads with cosign).MAD-810: box updates (ADR 0012)
packaging/root/and are built into asyncphony-box.deb (scripts/build-deb.sh). The image installs the .deb, and the stages keep only the image-specific changes (cmdline, fstab,/datalinks, ...).gh-pages. Only the updater uses it (-o Dir::Etc::SourceList), so pi-gen's exportdist-upgradenever pulls a published package over the freshly built one.syncphony-update.timerrunsboxd updateat 04:00:/statusnow reportsplaying) or withauto_update=off;syncphony-box chroot, which now also brings/dataand a temporarily writable/boot/firmware;/data/syncphony-box/update.json(reported by/v1/info);sudo syncphony-box updateruns it by hand.apt-get update --error-on=any: an unreachable or badly signed repo shows as "update failed" instead of carrying on.data-persist restoremerges account files instead of overwriting them. Before, users and groups an update added would have been deleted at the next boot./v1/infoalso reportsuptimeSeconds(for MAD-811).Before the first release
packaging/apt/syncphony-box-archive-keyring.asc, and set theAPT_SIGNING_KEYsecret (docs/releasing.md). The release job refuses to publish without them.gh-pages: Settings → Pages → deploy fromgh-pages.v0.2.0or adjustMinBoxVersionthere.Test plan
go test ./...,go vet, gofmt; bats suite (59, run in a Trixie container)debian:trixie: kiosk user and groups, cec group, all units enabled, reinstall idempotentscripts/apt-repo.sh, box on 1.0.0 →boxd update→ 1.1.0 (plus a real Debian security update); a second run iscurrent; a tamperedInReleaseis refused and recorded asfailedscripts/imager-os-list.pysizes and hashes checked against a test.xz; actionlint, shellcheckdocs/testing.md, "The overnight update")🤖 Generated with Claude Code