From 5cf9958957b4239e6e3bb3c398df1f4352dbe207 Mon Sep 17 00:00:00 2001 From: Joachim Wiberg Date: Sun, 2 May 2021 15:43:27 +0200 Subject: [PATCH] contrib: debian: read parameters from /etc/default/grub Signed-off-by: Joachim Wiberg --- contrib/debian/grub.d/40_custom | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/debian/grub.d/40_custom b/contrib/debian/grub.d/40_custom index c45efcbb..12be75e5 100755 --- a/contrib/debian/grub.d/40_custom +++ b/contrib/debian/grub.d/40_custom @@ -9,6 +9,6 @@ menuentry '$MENU with Finit' --class $TYPE --class gnu-linux --class gnu --class insmod part_msdos insmod ext2 search --no-floppy --fs-uuid --set=root $BOOT - linux /vmlinuz root=UUID=$ROOT ro quiet init=/sbin/finit + linux /vmlinuz root=UUID=$ROOT ro ${GRUB_CMDLINE_LINUX} ${GRUB_CMDLINE_LINUX_DEFAULT} init=/sbin/finit initrd /initrd.img }