Package: init-select
Version: 1.20140301
Severity: serious

The new /etc/default/grub.d/init-select.cfg file arbitrarily overrides
the GRUB_CMDLINE_LINUX_DEFAULT variable: the boot parameters set in
/etc/default/grub are therefore lost. A more polite behaviour could be
achieved by appending to the GRUB_CMDLINE_LINUX_DEFAULT variable,
instead of replacing its content, such as:

GRUB_CMDLINE_LINUX_DEFAULT="$GRUB_CMDLINE_LINUX_DEFAULT $(get-init)"

Thanks


Maurizio


-- 
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Reply via email to