diff options
Diffstat (limited to 'src/core/libs/lib-ui-interactive.sh')
| -rw-r--r-- | src/core/libs/lib-ui-interactive.sh | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/src/core/libs/lib-ui-interactive.sh b/src/core/libs/lib-ui-interactive.sh index 1fa9261..0d42e42 100644 --- a/src/core/libs/lib-ui-interactive.sh +++ b/src/core/libs/lib-ui-interactive.sh @@ -506,12 +506,10 @@ interactive_runtime_network() { interactive_install_grub() { - get_grub_map - local grubmenu="$var_TARGET_DIR/boot/grub/menu.lst" - if [ ! -f $grubmenu ]; then - notify "Error: Couldn't find $grubmenu. Is GRUB installed?" - return 1 - fi + get_grub_map + local grubmenu="$var_TARGET_DIR/boot/grub/menu.lst" + [ ! -f $grubmenu ] && show_warning "No grub?" "Error: Couldn't find $grubmenu. Is GRUB installed?" && return 1 + # try to auto-configure GRUB... if [ "$PART_ROOT" != "" -a "$S_GRUB" != "1" ]; then grubdev=$(mapdev $PART_ROOT) |