3 lines
107 B
Promela
3 lines
107 B
Promela
|
<require-service <daemon console-getty>>
|
||
|
<daemon console-getty "@getty@ 0 /dev/console -l @loginProgram@">
|