/etc/init.d/xenomai is in libxenomai1 2.5.5.2-1ubuntu2.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 | #!/bin/sh -e
### BEGIN INIT INFO
# Provides: xenomai
# Required-Start: mountkernfs
# Required-Stop:
# Default-Start: 2 3 4 5
# Default-Stop: 0 1 6
# Short-Description: Set xeno_nucleus group
### END INIT INFO
GROUP=xenomai
INITNAME=/etc/init.d/xenomai
FILENAME=/sys/module/xeno_nucleus/parameters/xenomai_gid
GID=$(getent group $GROUP | cut -d: -f3)
test -e $FILENAME || exit 0
test -n "$GID" || exit 0
case "$1" in
start)
echo "$GID" > $FILENAME
;;
stop)
echo "-1" > $FILENAME
;;
restart|force-reload)
$0 start
;;
*)
echo "Usage: $INITNAME {start|stop|restart|force-reload}"
exit 1
;;
esac
exit 0
|