diff options
-rw-r--r-- | src/core/libs/lib-ui-interactive.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/core/libs/lib-ui-interactive.sh b/src/core/libs/lib-ui-interactive.sh index 50fee6d..335a36e 100644 --- a/src/core/libs/lib-ui-interactive.sh +++ b/src/core/libs/lib-ui-interactive.sh @@ -1081,7 +1081,8 @@ generate_grub_menulst() { fi # Now that we have our grub-legacy root device (grubdev). # keep the file from being completely bogus - if [ "$grubdev" = "DEVICE NOT FOUND" ]; then + [ "$grubdev" = "DEVICE NOT FOUND" ] && grubdev= + if [ -z "$grubdev" ]; then notify "Your root boot device could not be autodetected by setup. Ensure you adjust the 'root (hd0,0)' line in your GRUB config accordingly." grubdev="(hd0,0)" fi |