10 lines
261 B
Promela
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]>
|
||
|
]
|