31 lines
1.3 KiB
Promela
31 lines
1.3 KiB
Promela
? <mpv ?mpvSpace> [
|
|
|
|
$config ? <socketspace ?beepSpace> $beepSpace [
|
|
|
|
$beepSpace ?? <beep 0> [
|
|
$mpvSpace ! <play-file "/home/emery/star-trek-audio/elite-force/button1.flac"> ]
|
|
|
|
$beepSpace ?? <beep 1> [
|
|
$mpvSpace ! <play-file "/home/emery/star-trek-audio/elite-force/button5.flac"> ]
|
|
|
|
$beepSpace ?? <beep private-message> [
|
|
$mpvSpace ! <play-file "/home/emery/star-trek-audio/www.trekcore.com/audio/computer/computerbeep_19.mp3"> ]
|
|
|
|
$beepSpace ?? <beep highlight> [
|
|
$mpvSpace ! <play-file "/home/emery/star-trek-audio/www.trekcore.com/audio/computer/computerbeep_9.mp3"> ]
|
|
|
|
|
|
$config ? <machine-dataspace ?machine> $machine [
|
|
?? <uevent "power_supply" _ change {POWER_SUPPLY_ONLINE: 1} _> [
|
|
$mpvSpace ! <play-file "/home/emery/star-trek-audio/www.trekcore.com/audio/computer/computerbeep_1.mp3">
|
|
]
|
|
?? <uevent "power_supply" _ change {POWER_SUPPLY_ONLINE: 0} _> [
|
|
$mpvSpace ! <play-file "/home/emery/star-trek-audio/www.trekcore.com/audio/computer/alert24.mp3">
|
|
]
|
|
?? <power-supply-capacity-level "Low"> [$mpvSpace ! <play-file "/home/emery/star-trek-audio/www.trekcore.com/audio/computer/alert24.mp3"> ]
|
|
?? <power-supply-capacity-level "Critical"> [$mpvSpace ! <play-file "/home/emery/star-trek-audio/www.trekcore.com/audio/computer/alert24.mp3"> ]
|
|
]
|
|
]
|
|
|
|
]
|