Record

write-text-file-request

Parameters to write-text-file.

record write-text-file-request {
  session-id: session-id,
  path: string,
  content: string,
}

Fields

Name	Type	Description
session-id	session-id	The session this request belongs to.
path	string	Absolute path to the file. The client MUST create it if missing.
content	string	New file contents.