18 lines
379 B
Promela
18 lines
379 B
Promela
? <built libnotify_actor ?path ?sum> [
|
|
? { argv: ["sway-env-magic-cookie"]
|
|
env: {
|
|
"DBUS_SESSION_BUS_ADDRESS": ?DBUS_SESSION_BUS_ADDRESS
|
|
}
|
|
}
|
|
[
|
|
<daemon libnotify_actor {
|
|
argv: [$path]
|
|
protocol: application/syndicate
|
|
env: {
|
|
"BUILD_SUM": $sum
|
|
"DBUS_SESSION_BUS_ADDRESS": $DBUS_SESSION_BUS_ADDRESS
|
|
}
|
|
}>
|
|
]
|
|
]
|