fix(gamebook): always regenerate the PLIP menu WAV
Repo State / repo-state (pull_request) Failing after 47s
Repo State / repo-state (push) Failing after 39s
Validate Zacus refactor / validate (pull_request) Failing after 6m8s
Validate Zacus refactor / validate (push) Failing after 5m49s

The spoken story menu was cached by filename, so incremental deploys
(adding a story) kept announcing the old, shorter list. Force-rebuild
menu.wav each run since its content tracks the (cumulative) book list.
This commit was merged in pull request #192.
This commit is contained in:
clement
2026-06-20 09:17:56 +02:00
parent 0f11f049f9
commit 410e3a4ef7
+5 -2
View File
@@ -173,9 +173,12 @@ def main() -> int:
fail = pushed = 0
# Menu WAV (the spoken story picker).
# Menu WAV (the spoken story picker). ALWAYS regenerated: its content
# depends on the (cumulative) book list, so a cached menu.wav would still
# announce an old, shorter set of stories.
menu = OUT_DIR / "menu.wav"
if synth_wav(menu_narration(books_meta), menu, args.force, args.tts):
menu.unlink(missing_ok=True)
if synth_wav(menu_narration(books_meta), menu, True, args.tts):
if not args.dry_run:
ok, _ = push(args.ip, "menu.wav", menu.read_bytes()); pushed += ok; fail += not ok
else: