29 lines
966 B
Promela
29 lines
966 B
Promela
? <mpv ?mpv> $mpv [
|
|
|
|
$config ? <socketspace ?beepSpace> [
|
|
$beepSpace ?? <beep 0> [
|
|
$mpv ! <play-file "/home/emery/lib/syndicate/lcars-0.mp3">
|
|
]
|
|
$beepSpace ?? <beep 1> [
|
|
$mpv ! <play-file "/home/emery/star-trek-audio/www.trekcore.com/audio/computer/consolewarning.mp3">
|
|
]
|
|
]
|
|
|
|
$config ? <machine-dataspace ?ds> $ds [
|
|
?? <acpi_event "button/power" _ _ _> [
|
|
$mpv ! <play-file "/home/emery/star-trek-audio/www.trekcore.com/audio/toscomputer/tos_computerthinking1_ep.mp3">
|
|
]
|
|
|
|
?? <acpi_event "ac_adapter" _ _ 256> [
|
|
$mpv ! <play-file "/home/emery/star-trek-audio/www.trekcore.com/audio/computer/computerbeep_6.mp3">
|
|
]
|
|
?? <acpi_event "ac_adapter" _ _ 0> [
|
|
$mpv ! <play-file "/home/emery/star-trek-audio/www.trekcore.com/audio/computer/alert24.mp3">
|
|
]
|
|
]
|
|
|
|
$config ? <built _ _ ?hash> [
|
|
$mpv ! <play-file "/home/emery/star-trek-audio/www.trekcore.com/audio/computer/computerbeep_26.mp3">
|
|
]
|
|
]
|