This file is indexed.

/etc/apt/apt.conf.d/99-edu-prefer-firefox is in debian-edu-config 1.818+deb8u2.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

1
2
3
4
5
6
7
// We prefer firefox over other alternatives
DPkg
{
Post-Invoke {
"x=/usr/bin/firefox-esr;[ -x $x ] && update-alternatives --set x-www-browser $x||true";
};
};