Re: [PATCH,HURD] Fix root device passing

[Colin Watson <cjwatson@ubuntu.com>]

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.thibault@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                                       [cjwatson@ubuntu.com]