/usr/share/edubuntu-server/services/dhcp/configure is in edubuntu-server-host 14.02.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 | #!/usr/bin/python3
import ipaddr
import os
subnet = ipaddr.IPv4Network(os.environ['network_subnet'])
environ = {}
environ['dhcp_network'] = "%s" % subnet.network
environ['dhcp_netmask'] = "%s" % subnet.netmask
environ['dhcp_range_start'] = os.environ['network_clients_start']
environ['dhcp_range_end'] = "%s" % subnet[-2]
environ['dhcp_domain'] = os.environ['domain_fqdn']
environ['dhcp_dns_servers'] = os.environ['services_rdns']
environ['dhcp_wins_servers'] = os.environ['services_directory']
environ['dhcp_broadcast'] = "%s" % subnet.broadcast
environ['dhcp_gateway'] = os.environ['network_gateway']
for key, value in environ.items():
print("%s=%s" % (key, value))
|