$binary.unzip()
Entpackt eine ZIP-Datei und stellt die enthaltenen Dateien als Liste von JSON-Objekten zur Verfügung.
| Name | Typ | Beschreibung | Pflicht | Default |
|---|---|---|---|---|
| binary | Binärwert | Die zu entpackende ZIP-Datei | ja | - |
Typ: Liste von JSON-Objekten
Für jede in der ZIP-Datei enthaltene Datei ein Eintrag mit den folgenden Feldern:
Die entpackten Binärdaten des Eintrags.data
Der Dateiname der ausgepackten Datei.name
comment Ein optionaler Kommentar
compressedSize Die Größe des komprimierten Inhalts.
crc Die CRC-Checksumme des Inhalts.
extra Optionale dem Inhalt zugeordnete Binärdaten.
creationTime Das Datum der letzten Änderung des Inhalts.
lastAccessTime Das Datum des letzten Zugriffs auf den Inhalt.
lastModifiedTime Das Datum der letzten Änderung des Inhalts.
method Die Kompressionsmethode, entweder "deflated" oder "stored".
size Die entpackte Größe des Inhalts.
$zip.unzip().map(entry -> $entry["size"]).sum()
Ausgabe: Die zu erwartende Gesamtgröße bei Entpacken der übergebenen ZIP-Datei $zip.