2022-04-28 20:06:08 +00:00
|
|
|
version 1 .
|
|
|
|
|
|
2022-05-03 08:37:51 +00:00
|
|
|
Config = @core CoreConfig & @awaitWriteFinish AwaitWriteFinishConfig .
|
|
|
|
|
CoreConfig = {
|
2024-02-05 22:24:14 +00:00
|
|
|
dataspace: #:any,
|
2022-04-28 20:06:08 +00:00
|
|
|
label: any,
|
|
|
|
|
path: string,
|
|
|
|
|
} .
|
|
|
|
|
|
2022-05-03 08:37:51 +00:00
|
|
|
AwaitWriteFinishConfig =
|
|
|
|
|
/ @present { awaitWriteFinish: AwaitWriteFinish }
|
|
|
|
|
/ @invalid { awaitWriteFinish: any }
|
|
|
|
|
/ @absent {} .
|
|
|
|
|
|
|
|
|
|
AwaitWriteFinish =
|
|
|
|
|
/ @simple bool
|
|
|
|
|
/ @full {
|
|
|
|
|
stabilityThreshold: @"in milliseconds" int,
|
|
|
|
|
pollInterval: @"in milliseconds" int,
|
|
|
|
|
} .
|
|
|
|
|
|
2022-04-28 20:06:08 +00:00
|
|
|
File = <file @label any @path string @encoding Encoding @contents Contents> .
|
|
|
|
|
Encoding = =binary / =utf8 .
|
|
|
|
|
|
|
|
|
|
Contents =
|
|
|
|
|
/ =absent
|
|
|
|
|
/ =directory
|
|
|
|
|
/ <binary @bytes bytes>
|
|
|
|
|
/ <text @text string>
|
|
|
|
|
/ @invalidText <invalid-text @bytes bytes>
|
|
|
|
|
.
|
