diff --git a/website/src/components/FilePicker.astro b/website/src/components/FilePicker.astro index 4586ac8f..6444d7a4 100644 --- a/website/src/components/FilePicker.astro +++ b/website/src/components/FilePicker.astro @@ -4,10 +4,19 @@ // which convert.py derives from install/.json. The selection // follows install.py narrow(): a file is kept when one of its systems is // chosen, a file with no system when "other" is chosen. +// The list follows the current data; release.json says what the published +// ZIP of each setup holds, so the page can say when the two differ. +import release from '../../../release.json'; + const base = import.meta.env.BASE_URL.replace(/\/?$/, '/'); +const packs = Object.fromEntries( + Object.values(release.packs).flatMap((pack) => + pack.platforms.map((platform) => [platform, { files: pack.files, size: pack.extracted_size }]), + ), +); --- -
+
+
+