syndicate-pty-driver/server-config.pr

16 lines
468 B
Promela

<require-service <daemon pty>>
<daemon pty {
argv: "cargo run"
protocol: application/syndicate
env: { RUST_LOG: "syndicate::dataspace=trace,syndicate_pty_driver=debug,info" }
}>
? <service-object <daemon pty> ?cap> [
$cap ? <pty 1 <session-running>> [
$log ! <log "-" { line: "PTY session running" }>
$cap ! <pty 1 <input #"ls -la\n">>
]
$cap ?? <pty 1 <output ?bs>> [
$log ! <log "-" { line: $bs }>
]
$cap += <pty 1 <command [bash -i]>>
]