/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
|