move_file_or_directory
Move or rename files and directories within the workspace filesystem. Transfer items between directories or rename them in a single operation, with OS-dependent behavior for existing destination paths.
Instructions
Move or rename files and directories within the workspace filesystem. Can move items between directories and rename them in a single operation. If the destination path already exists, the operation will likely fail (OS-dependent).
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| destination | Yes | The new path for the file or directory (relative to the workspace directory). | |
| source | Yes | The current path of the file or directory to move (relative to the workspace directory). |
Input Schema (JSON Schema)
{
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"destination": {
"description": "The new path for the file or directory (relative to the workspace directory).",
"type": "string"
},
"source": {
"description": "The current path of the file or directory to move (relative to the workspace directory).",
"type": "string"
}
},
"required": [
"source",
"destination"
],
"type": "object"
}