16 lines
468 B
Promela
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]>>
|
|
]
|