write_sandbox_file
Write a file into a Docker sandbox, replacing any file with the same name; the target folder must already exist.
Instructions
Upload a file into the sandbox's files (replaces one of the same name); its folder must exist HTTP PUT /sandboxes/{name}/files/content
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| body | Yes | The file's content | |
| name | Yes | ||
| path | Yes | The file to write, e.g. /root/app/config.json |