You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The unarchive recipe (e.g. std.download({ ... }).unarchive("tar", "gzip")) supports multiple compression formats, but currently only supports tar archives. Zip archives are also pretty common, so we should update the recipe to also support zip as an archive type
Zip files can themselves be compressed, so there isn't an extra layer of decompression to worry about like you often see with .tar files. In other words, unarchiving a zip file will usually not specify a compression format. However, for consistency, it might still make sense to allow specifying a decompression format, even though I wouldn't expect it to be used in practice
The text was updated successfully, but these errors were encountered:
The
unarchive
recipe (e.g.std.download({ ... }).unarchive("tar", "gzip")
) supports multiple compression formats, but currently only supports tar archives. Zip archives are also pretty common, so we should update the recipe to also supportzip
as an archive typeZip files can themselves be compressed, so there isn't an extra layer of decompression to worry about like you often see with
.tar
files. In other words, unarchiving a zip file will usually not specify a compression format. However, for consistency, it might still make sense to allow specifying a decompression format, even though I wouldn't expect it to be used in practiceThe text was updated successfully, but these errors were encountered: