SYS-0755

Raspberry Pi OS Change Hostname Script Generator

Generate a ready-to-run, commented script for changing the hostname on Raspberry Pi OS, with verification steps

Updated 25 October 2026

This is a draft to read before you paste it. It is not a vendor release, and it names no tested version.