/usr/share/debian-installer-launcher/debconf_kernel.sh is in debian-installer-launcher 30.
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 20 21 22 23 24 25 26 27 28 | #!/bin/sh
# The following debconf stuff needs to be in an own child. For some reason,
# debconf is messing with the FD and the environment, so that cdebconf in the
# installer is failing (will not react to any input).
#
# To avoid that, we're calling it in an own script. Calling it in a subshell
# did not work either.
set -e
. /usr/share/debconf/confmodule
# The version of the host systems kernel need to match the kernel version used
# in the debian-installer initrd.
LIVE_KERNEL=$(uname -r)
DI_KERNEL=$(basename /lib/live/installer/lib/modules/*)
if [ $LIVE_KERNEL != $DI_KERNEL ]; then
db_subst debian-installer-launcher/kernel-mismatch/error LIVE_KERNEL "$LIVE_KERNEL"
db_subst debian-installer-launcher/kernel-mismatch/error DI_KERNEL "$DI_KERNEL"
db_settitle debian-installer-launcher/kernel-mismatch/title
db_input critical debian-installer-launcher/kernel-mismatch/error || true
db_go
exit 1
fi
|