Extract files from a ZIP archive.
Extract files from a ZIP archive.
If the list of selectedFiles
is empty and no fileSelector
was given, than all files will be extracted.
The file denoting a ZIP archive.
The base directory, where the extracted files will be stored.
A list of name-file pairs denoting which archive content should be extracted into which file.
The name if the path inside the archive.
The file will be the place that file will be extracted to.
If the file value is null
, that the file will be extracted into the targetDir
without any sub directory created.
A [CmdlineMonitor]
to report this functions progress and messages.
A filter used to decide if a file in the archive should be extracted or not.
fileSelector
is not able to exclude files already selected with selectedFiles
.
If a selector is given ([scala.Some]
), that only those files will be extracted, for which the selector returns true
.
A Seq
of all extracted files.
0.7.1.9000
(Since version 0.6.0.9002) Use RichFile.deleteRecursive instead.
(Since version 0.6.0.9002) Use RichFile.deleteRecursive instead.
(Since version 0.6.0.9002) Use RichFile.listFilesRecursive instead