This file is indexed.

/usr/share/edubuntu-server/services/manager/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
#!/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 edubuntu-server-manager uuid-runtime

(
cat << EOF
SECRET_KEY = "$(uuidgen)"
LDAP_DOMAIN = "$manager_domain_name"
EOF
) > /etc/edubuntu-server/manager.cfg

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