curl_download
Download files from URLs using curl with options to specify output filenames, resume partial downloads, follow redirects, and set request timeouts.
Instructions
Download a file using curl
Input Schema
Name | Required | Description | Default |
---|---|---|---|
follow_redirects | No | Whether to follow redirects | |
output_filename | No | Output filename (if not provided, will use remote filename) | |
resume | No | Resume partial download if file exists | |
timeout | No | Request timeout in seconds | |
url | Yes | The URL of the file to download |
Input Schema (JSON Schema)
{
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"follow_redirects": {
"default": true,
"description": "Whether to follow redirects",
"type": "boolean"
},
"output_filename": {
"description": "Output filename (if not provided, will use remote filename)",
"type": "string"
},
"resume": {
"default": false,
"description": "Resume partial download if file exists",
"type": "boolean"
},
"timeout": {
"description": "Request timeout in seconds",
"type": "number"
},
"url": {
"description": "The URL of the file to download",
"type": "string"
}
},
"required": [
"url"
],
"type": "object"
}