/usr/src/linux-source-3.13.0/debian/control-scripts/extra-post is in linux-source-3.13.0 3.13.0-48.80.
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
|