--- 10_linux 2018-03-04 14:11:35.000000000 +0100 +++ /etc/grub.d/10_linux 2018-07-08 09:04:49.307828174 +0200 @@ -87,13 +87,15 @@ title_correction_code= -if [ -x /lib/recovery-mode/recovery-menu ]; then - GRUB_CMDLINE_LINUX_RECOVERY=recovery -else - GRUB_CMDLINE_LINUX_RECOVERY=single -fi -if [ "$ubuntu_recovery" = 1 ]; then - GRUB_CMDLINE_LINUX_RECOVERY="$GRUB_CMDLINE_LINUX_RECOVERY nomodeset" +if [ "x${GRUB_CMDLINE_LINUX_RECOVERY}" = "x" ]; then + if [ -x /lib/recovery-mode/recovery-menu ]; then + GRUB_CMDLINE_LINUX_RECOVERY=recovery + else + GRUB_CMDLINE_LINUX_RECOVERY=single + fi + if [ "$ubuntu_recovery" = 1 ]; then + GRUB_CMDLINE_LINUX_RECOVERY="$GRUB_CMDLINE_LINUX_RECOVERY nomodeset" + fi fi if [ "$vt_handoff" = 1 ]; then