4
# Required-Start: mountkernfs
6
# Default-Start: 2 3 4 5
8
# Short-Description: Set xeno_nucleus group
12
INITNAME=/etc/init.d/xenomai
13
FILENAME=/sys/module/xeno_nucleus/parameters/xenomai_gid
14
GID=$(getent group $GROUP | cut -d: -f3)
16
test -e $FILENAME || exit 0
17
test -n "$GID" || exit 0
21
echo "$GID" > $FILENAME
30
echo "Usage: $INITNAME {start|stop|restart|force-reload}"