diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2010-04-24 12:40:34 +0200 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2010-04-24 12:40:34 +0200 |
| commit | 5453dd25e052670e4df6aa90beceaadd849ee6d2 (patch) | |
| tree | ff83e8aa43c8b760917540943fab74de430e5914 | |
| parent | f63d132e7171fd8c0649a840da03530d9192300c (diff) | |
be more thorough when checking $grubdev
| -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 |