Skip to content

feat: publish Imager OS list and launchers - #2

Merged
ArnavVWadhwa merged 1 commit into
mainfrom
publish-imager-os-list
Aug 28, 2026
Merged

ArnavVWadhwa merged 1 commit into
mainfrom
publish-imager-os-list

Conversation

@ArnavVWadhwa

@ArnavVWadhwa ArnavVWadhwa commented Aug 28, 2026

Copy link
Copy Markdown
Contributor

So students can flash + customize (hostname/ssh/wifi/user) from the Raspberry Pi Imager GUI. Plain "Use custom" on a local file disables the Customisation panel; an OS-list entry with init_format re-enables it.

  • build-image.sh: records the uncompressed image sha256 + size to .build/image-meta.env.
  • build-image.yml: generates os-list.json (image URL + sizes + sha) with jq and publishes it to the latest Release under a constant name, so it is served at a stable URL: https://github.com/dpengineering/DPEA-RaspberryPiImage/releases/latest/download/os-list.json.
  • imager-launchers/: double-click wrappers of rpi-imager --repo <that URL> for macOS / Windows / Linux, for the student repo.
  • README: flashing section; .gitignore: ignore .idea/.

Public repo, so no GitHub account is needed to download. Confirm on first test: the Customisation panel actually enables for the DPEA Pi entry (that is what init_format: "systemd" should do).

@ArnavVWadhwa
ArnavVWadhwa requested a review from a team as a code owner August 28, 2026 20:47
@ArnavVWadhwa
ArnavVWadhwa merged commit b15f67d into main Aug 28, 2026
2 checks passed
@ArnavVWadhwa
ArnavVWadhwa deleted the publish-imager-os-list branch August 28, 2026 20:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant