download_file
Transfer files or directories from a remote server to a local destination using SSH. Specify the server name, remote path, and local directory for recursive or single-file downloads.
Instructions
下载远程服务器的文件或者目录，保存到指定目录下，如果是目录，则递归下载 参数:
server_name: 服务器名称
remote_path: 远程文件/目录路径
local_src: 本地文件/目录路径
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| local_src | Yes | ||
| remote_path | Yes | ||
| server_name | Yes |
Input Schema (JSON Schema)
{
"properties": {
"local_src": {
"title": "Local Src",
"type": "string"
},
"remote_path": {
"title": "Remote Path",
"type": "string"
},
"server_name": {
"title": "Server Name",
"type": "string"
}
},
"required": [
"server_name",
"remote_path",
"local_src"
],
"title": "download_fileArguments",
"type": "object"
}