diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2009-07-26 16:07:59 +0200 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2009-07-26 16:07:59 +0200 |
commit | 5fe9c9f753a9ad40e17cc5647e07ae7c4df2ac26 (patch) | |
tree | 842f3fb75dc815f8e773815edb57b1ff02cd6675 /src/core/libs/lib-ui-interactive.sh | |
parent | d1325ad96fa3ae27e74c192b36d858353f751d0c (diff) |
cleaner separation of concerns: remove $PART_ROOT hack in favor of more useful partion finding function
Diffstat (limited to 'src/core/libs/lib-ui-interactive.sh')
-rw-r--r-- | src/core/libs/lib-ui-interactive.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/core/libs/lib-ui-interactive.sh b/src/core/libs/lib-ui-interactive.sh index 6dd8e71..a7681e3 100644 --- a/src/core/libs/lib-ui-interactive.sh +++ b/src/core/libs/lib-ui-interactive.sh @@ -841,8 +841,9 @@ interactive_install_grub() { # try to auto-configure GRUB... debug 'UI-INTERACTIVE' "install_grub \$PART_ROOT $PART_ROOT \$GRUB_OK $GRUB_OK" - if [ -n "$PART_ROOT" -a "$GRUB_OK" != '1' ] ; then - GRUB_OK=0 + if get_device_with_mount '/' && [ "$GRUB_OK" != '1' ] ; then + GRUB_OK=0 + PART_ROOT=$ANSWER_DEVICE grubdev=$(mapdev $PART_ROOT) local _rootpart="${PART_ROOT}" local _uuid="$(getuuid ${PART_ROOT})" |