This file is indexed.

/usr/share/edubuntu-server/services/dhcp/setup is in edubuntu-server-host 15.01build1.

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
39
#!/bin/sh
# Prepare environment
mount -t proc proc /proc
mount -t sysfs sysfs /sys
cat /etc/hostname > /proc/sys/kernel/hostname
cat > /usr/sbin/policy-rc.d << EOF
#!/bin/sh
exit 101
EOF
chmod +x /usr/sbin/policy-rc.d
export DEBIAN_FRONTEND=noninteractive

#Setup
apt-get update
apt-get dist-upgrade -y
apt-get install -y isc-dhcp-server

(
cat << EOF
#
# Edubuntu-server generated configuration.
#

authoritative;
subnet $dhcp_network netmask $dhcp_netmask {
    range $dhcp_range_start $dhcp_range_end;
    option domain-name "$dhcp_domain";
    option domain-name-servers $dhcp_dns_servers;
    option netbios-name-servers $dhcp_wins_servers;
    option broadcast-address $dhcp_broadcast;
    option routers $dhcp_gateway;
    option subnet-mask $dhcp_netmask;
}
EOF
) > /etc/dhcp/dhcpd.conf

# Cleanup
rm /usr/sbin/policy-rc.d
exit 0