*** grub-installORIG.in 2008-12-27 02:43:09.000000000 +0800 --- grub-install.in 2008-12-27 04:06:02.000000000 +0800 *************** *** 304,310 **** # Prompt the user to check if the device map is correct. ! echo "Installation finished. No error reported." ! echo "This is the contents of the device map $device_map." ! echo "Check if this is correct or not. If any of the lines is incorrect," ! echo "fix it and re-run the script \`grub-install'." ! echo --- 304,310 ---- # Prompt the user to check if the device map is correct. ! cat <<EOF ! Installation finished. No error reported. These are the contents of ! the device map $device_map. If any of the lines are incorrect, fix it ! and/or re-run grub-install [--recheck]. ! EOF
_______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel
