extract_file
Extract specific files from remote zip archives over HTTP, HTTPS, or FTP without downloading the entire archive, saving time and bandwidth.
Instructions
Extract a specific file from a remote zip archive to local storage.
Args:
url: URL of the remote zip file
filename: Name of the file to extract
local_path: Local directory to extract to (default: current directory)
Input Schema
Name | Required | Description | Default |
---|---|---|---|
filename | Yes | ||
local_path | No | . | |
url | Yes |
Input Schema (JSON Schema)
{
"properties": {
"filename": {
"title": "Filename",
"type": "string"
},
"local_path": {
"default": ".",
"title": "Local Path",
"type": "string"
},
"url": {
"title": "Url",
"type": "string"
}
},
"required": [
"url",
"filename"
],
"title": "extract_fileArguments",
"type": "object"
}