clean up resource-manifest.json

Hunter
Wednesday, July 16th, 2025 at 1:31 PM


generate_resource_manifest.py+1-4


resource-manifest.json+1-4


sw.js+1-1
generate_resource_manifest.py
45      manifest = {
46          "images": image_files,
47          "resources": resource_files,
   -        "generated_at": "auto-generated by GitHub Actions",
   -        "total_images": len(image_files),
   -        "total_resources": len(resource_files),
   -        "total_files": len(image_files) + len(resource_files)
48 +        "generated_at": "auto-generated by GitHub Actions"
49      }
50      
51      # Write manifest file
resource-manifest.json
28    ],
29    "resources": [
30      "/web_workshop/resources/fullscreen.svg"
   -  ],
   -  "total_files": 25,
   -  "total_images": 24,
   -  "total_resources": 1
31 +  ]
32  }
sw.js
51      const response = await fetch('/web_workshop/resource-manifest.json');
52      if (response.ok) {
53        const manifest = await response.json();
   -      console.log(`Caching ${manifest.total_images} images and ${manifest.total_resources} resources from manifest`);
54 +      console.log(`Caching ${manifest.images.length} images and ${manifest.resources.length} resources from manifest`);
55        
56        // Cache images
57        for (const imagePath of manifest.images) {