Hello,
This patch fixes the 10_hurd script in the case where /boot is in a
separate partition.
Samuel
2009-11-02 Samuel Thibault <samuel.thiba...@ens-lyon.org>
* util/grub.d/10_hurd.in: Call prepare_grub_to_access_device
${GRUB_DEVICE_BOOT} before loading /boot kernel.
Index: util/grub.d/10_hurd.in
===================================================================
--- util/grub.d/10_hurd.in (révision 2666)
+++ util/grub.d/10_hurd.in (copie de travail)
@@ -71,9 +71,12 @@
cat << EOF
menuentry "${OS}" {
EOF
+prepare_grub_to_access_device ${GRUB_DEVICE_BOOT} | sed -e "s/^/\t/"
+cat << EOF
+ multiboot ${kernel} root=device:${GRUB_DEVICE}
+EOF
prepare_grub_to_access_device ${GRUB_DEVICE} | sed -e "s/^/\t/"
cat << EOF
- multiboot ${kernel} root=device:${GRUB_DEVICE}
module /hurd/${hurd_fs}.static ${hurd_fs} --readonly \\
--multiboot-command-line='\${kernel-command-line}' \\
--host-priv-port='\${host-port}' \\
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/grub-devel
