zip extract files
Zip Library
This function extracts one or more files from the ZIP file. No exceptions are asserted in case a specified file has not been found in the archive. If needed, check If the extracted file is existing after calling this function.
Under normal conditions, the 'Zip Library' is loaded automatically, so no 'include(...)' call is needed.
2-3
No. | Type | Description |
---|---|---|
1. input |
string | Archive file name Choice of file or directory name. If directory name is chosen, then the whole directory with all contents will be compressed. Wildcards e.g. (pictures\*.jpg) are allowed. In this case, 2nd parameter (Archive file name) is also required to provide a concrete archive name. |
2. input |
set or string | Content file names Specify all files to extract:
|
Opt. 3. input |
string | Target directory name Specify the directory where the extracted files shall be copied to. Default value: (current working directory) |
include( Zip Library );
zip compress( "Examples\*.csv", "All csv.zip" );
zip extract files( "All csv.zip", "Examples\Cities.csv", "My Dir" );
echo("List the extracted file from 'All csv.zip':", new line);
directory listing recursive( d, "My Dir" );
table keep columns( d, {Path,Name,Date Created,Directory,Size} );
table list( d );
directory delete recursive ( "", "My Dir" );
file delete( "All csv.zip" );
List the extracted file from 'All csv.zip':
0 : Path | Name | Date Created | Directory | Size
1 : My Dir\ | Cities.csv | 2024-02-11 | No | 1035