add BOOT_APPEND to GRUB_CMDLINE_LINUX_DEFAULT

it was broken since commit cbf40a49324ae7feb468e528a7845465304faaff

diff --git a/grml-debootstrap b/grml-debootstrap
index 60358d3..85f0930 100755 (executable)
--- a/grml-debootstrap
+++ b/grml-debootstrap
@@ -1011,6 +1011,9 @@ finalize_vm() {
   rm -f "${MNTPOINT}/tmp/core.img"
 
   einfo "Updating grub configuration file."
+  if [ -n "$BOOT_APPEND" ] ; then
+     sed -i "/GRUB_CMDLINE_LINUX_DEFAULT/ s#\"\$# ${BOOT_APPEND}\"#" "${MNTPOINT}"/etc/default/grub
+  fi
   chroot "${MNTPOINT}" update-grub
 
   umount "${MNTPOINT}"/proc