diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-10 18:27:57 +0100 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-10 18:27:57 +0100 |
| commit | fc3809dec26d21eb18a568b9ec018ed0f042f901 (patch) | |
| tree | 772dafa989cf431ba48723cf54887913a8295af7 /src/core/libs/lib-ui-interactive.sh | |
| parent | ce72829ec480acdbcd0d853377b895854feea80d (diff) | |
several small stupid thingies
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) |