diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-12 13:58:17 +0100 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-12 13:58:17 +0100 |
commit | d054647345bb2a3b460456e5a7821d4b9f89a5e7 (patch) | |
tree | de86b73c565b776c2d797b9d6ff3cb0364534f4b /src | |
parent | bd5697d003d03e6a9149bd1ac81fc21ba1328052 (diff) |
probably fix for bogus grub entries + more clarity for get_grub_map
Diffstat (limited to 'src')
-rw-r--r-- | src/core/libs/lib-blockdevices-filesystems.sh | 2 | ||||
-rw-r--r-- | src/core/libs/lib-ui-interactive.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/core/libs/lib-blockdevices-filesystems.sh b/src/core/libs/lib-blockdevices-filesystems.sh index 24bef6a..d17a769 100644 --- a/src/core/libs/lib-blockdevices-filesystems.sh +++ b/src/core/libs/lib-blockdevices-filesystems.sh @@ -155,7 +155,7 @@ findpartitions() { # taken from setup get_grub_map() { rm $TMP_DEV_MAP #TODO: this doesn't exist? is this a problem? ASKDEV - #TODO: what's the use of this? does it generate the menu.lst? man grub says it will put it in /boot/grub/menu.lst, I think our 'boot' is mounted on /mnt/boot ? check that out. is it grub who sets up the marker? + infofy "Generating GRUB device map...\nThis could take a while.\n\n Please be patient." $var_TARGET_DIR/sbin/grub --no-floppy --device-map $TMP_DEV_MAP >/tmp/grub.log 2>&1 <<EOF quit EOF diff --git a/src/core/libs/lib-ui-interactive.sh b/src/core/libs/lib-ui-interactive.sh index 9b50bd1..f7f2f18 100644 --- a/src/core/libs/lib-ui-interactive.sh +++ b/src/core/libs/lib-ui-interactive.sh @@ -548,7 +548,7 @@ interactive_install_grub() { grubdev="(hd0,0)" fi # remove default entries by truncating file at our little tag (#-*) - sed -i -e '/#-\*/q' + sed -i -e '/#-\*/q' $grubmenu cat >>$grubmenu <<EOF # (0) Arch Linux |