copy_path
Copy a file or directory from a source path to a destination, with options to overwrite existing targets and proceed when a full undo snapshot is not possible.
Instructions
Copy a file or directory.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"source": "<source>",
"destination": "<destination>"
},
"name": "copy_path"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| source | Yes | ||
| overwrite | No | ||
| destination | Yes | ||
| allowPartialUndo | No | Proceed even if the change is too large to snapshot completely (undo would be partial) |