syndicate-pty-driver/server-config.pr

10 lines
261 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-session 1 [bash -i]>
]