arno.delete_file
Delete a specific file by path; the operation fails if the file does not exist and can be reversed by reverting to an earlier checkpoint. Use this action when a file should be removed without deleting a directory.
Instructions
Delete a file, not a directory; fails if it does not exist. Reverting to an earlier checkpoint recreates it. To edit content use replace_text or apply.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| path | Yes | File path to delete. |