'Cause, y'know, it won't actually boot. :)
Signed-off-by: Andres Salomon <dilinger@collabora.co.uk>
grep -q ' ${mntpt}/boot ' /proc/mounts && prefix=/boot
for kern in ${mntpt}/boot/vmlinuz-*; do
v=$(basename $kern | sed 's/vmlinuz-//')
grep -q ' ${mntpt}/boot ' /proc/mounts && prefix=/boot
for kern in ${mntpt}/boot/vmlinuz-*; do
v=$(basename $kern | sed 's/vmlinuz-//')
+ if [ "${v}" = '*' ]; then
+ echo "*** Error: no kernel images found in /boot!" 1>&2
+ exit 1
+ fi
cat >>${mntpt}/boot/grub/menu.lst<<EOF
title Debian GNU/Linux, kernel ${v}
cat >>${mntpt}/boot/grub/menu.lst<<EOF
title Debian GNU/Linux, kernel ${v}