19 lines
754 B
Diff
19 lines
754 B
Diff
|
--- grub-2.06/util/grub.d/10_linux.in.orig 2021-09-02 20:07:58.277889876 +0200
|
||
|
|
+++ grub-2.06/util/grub.d/10_linux.in 2021-09-02 20:09:06.876239109 +0200
|
||
|
|
@@ -270,8 +270,13 @@
|
||
|
|
fi
|
||
|
|
|
||
|
|
if [ "x$is_top_level" = xtrue ] && [ "x${GRUB_DISABLE_SUBMENU}" != xtrue ]; then
|
||
|
|
- linux_entry "${OS}" "${version}" simple \
|
||
|
|
- "${GRUB_CMDLINE_LINUX} ${GRUB_CMDLINE_LINUX_DEFAULT}"
|
||
|
|
+ if [ "x${GRUB_DEFAULT_NOMODESET}" = xtrue ]; then
|
||
|
|
+ linux_entry "${OS} (proprietary video driver)" "${version}" nomodeset \
|
||
|
|
+ "${GRUB_CMDLINE_LINUX} ${GRUB_CMDLINE_LINUX_DEFAULT} nomodeset"
|
||
|
|
+ else
|
||
|
|
+ linux_entry "${OS}" "${version}" simple \
|
||
|
|
+ "${GRUB_CMDLINE_LINUX} ${GRUB_CMDLINE_LINUX_DEFAULT}"
|
||
|
|
+ fi
|
||
|
|
|
||
|
|
submenu_indentation="$grub_tab"
|
||
|
|
|