/usr/lib/tasksel/tests/edu-profile is in education-tasks 1.812+deb8u1.
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 | #!/bin/sh
# Choose which Debian Edu profiles to enable, based on the information
# collected by debian-edu-install.
set -e
. /usr/share/debconf/confmodule
task=$1
shift
RC=3
if db_get "debian-edu-install/profile" ; then
for profile in $@ ; do
if echo "$RET" | grep -q "$profile"; then
RC=2
fi
done
fi
exit $RC
|