Expand description
zip: files packed into one ZIP archive, stored as they are.
A robot is a URDF file and its meshes; a browser can offer one file to save, so they go into one archive. Every unzip tool reads a stored (uncompressed) entry, and that is all this writes: a local header and the bytes per file, then the central directory — no compression, no ZIP64 (a robot’s meshes are far below 4 GB), and every entry dated 1980-01-01, so the same robot packs into the same bytes.
Functions§
- zip
files— each a path inside the archive,/-separated, and its bytes — as a ZIP archive. Fails for a file or an archive too large for a plain (non-ZIP64) archive.