This file is indexed.

/usr/src/linux-source-4.4.0/debian/control-scripts/extra-post is in linux-source-4.4.0 4.4.0-28.47.

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
 8
 9
10
11
12
13
14
#!/bin/sh
set -e

case "$0::$1" in
*.postinst::configure|*.postrm::remove)
	depmod -a -F /boot/System.map-=V =V || true
	for dir in "/etc/kernel/postinst.d" "/etc/kernel/postinst.d/=V"
	do
		if [ -d "$dir" ]; then
			run-parts --verbose --exit-on-error --arg="=V" --arg="/boot/=K-=V" "$dir"
		fi
	done
	;;
esac