This file is indexed.

/etc/init.d/xenomai is in xenomai-system-tools 2.6.4+dfsg-0.2.

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
36
37
38
#!/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
# Description:       Init script that set the gid of the xenomai group to xeno_nucleus parameters.
### END INIT INFO

. /lib/lsb/init-functions

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