This file is indexed.

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