/usr/bin/debian-edu-current-codename is in debian-edu-config 1.818+deb8u2.
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 | #!/bin/sh
codename=$(lsb_release -sc)
# Workaround for bad lsb_release behaviour when only a CD/DVD APT
# source is listed in /etc/sources.list, or when installing from
# testing/unstable.
if [ "n/a" = "$codename" ] ; then
codename=jessie
fi
echo $codename
|