This file is indexed.

/usr/share/debian-lan-config/fai/config/scripts/FAISERVER/10-config is in debian-lan-config 0.19+deb8u1.

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
#!/bin/bash

set -e

fcopy -r /etc/fai

if [ "$FAI_ACTION" == "install" ] || [ "$CONVERT" == "true" ] ; then
    ## fetch template and insert 'number' of workstations:
    FILE="/usr/local/sbin/debian-lan-chroots"
    fcopy $FILE
    sed -i "s/WS_RANGE/${WS_RANGE}/g" ${target}$FILE
    sed -i "s/DL_RANGE/${DL_RANGE}/g" ${target}$FILE
    PREFIX=`echo $SUBNET | cut -d "." --fields=1,2,3`
    sed -i "s/PREFIX/${PREFIX}/g" ${target}$FILE

    if ifclass DISKLESS_SERVER ; then
	sed -i "s%\(^.*\#\#DISKLESS_SERVER\#\#\)%\#\1%"  ${target}$FILE
    fi
fi