On Mon, Nov 02, 2009 at 06:33:29PM +0100, Samuel Thibault wrote:
> The patch below fixes passing root device to GNU Mach.
> With this applied (and some tuning in my hurd /dev/) and my other two
> patches, I could successfully run grub-install and boot!
>
> Samuel
>
> 2009-11-02 Samuel Thibault <samuel.thiba...@ens-lyon.org>
>
> * util/grub.d/10_hurd.in: Drop /dev/ prefix from root device path before
> giving it to GNU Mach.
>
> Index: util/grub.d/10_hurd.in
> ===================================================================
> --- util/grub.d/10_hurd.in (révision 2677)
> +++ util/grub.d/10_hurd.in (copie de travail)
> @@ -72,8 +72,9 @@
> menuentry "${OS}" {
> EOF
> prepare_grub_to_access_device ${GRUB_DEVICE_BOOT} | sed -e "s/^/\t/"
> +ROOT_DEVICE=`echo ${GRUB_DEVICE} | sed -e 's:^/dev/::'`
> cat << EOF
> - multiboot ${kernel} root=device:${GRUB_DEVICE}
> + multiboot ${kernel} root=device:${ROOT_DEVICE}
> EOF
> prepare_grub_to_access_device ${GRUB_DEVICE} | sed -e "s/^/\t/"
> cat << EOF
'multiboot ${kernel} root=device:${GRUB_DEVICE#/dev/}' would be simpler
and quicker.
--
Colin Watson [cjwat...@ubuntu.com]
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/grub-devel
