This file is indexed.

/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