/usr/share/edubuntu-server/services/manager/setup 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 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
|