Bug#825292: grub-common: does not provide the correct device name for booting the Hurd.

[Samuel Thibault]

Hello,

Rodrigo Valiña Gutiérrez, on Wed 25 May 2016 17:53:47 +0200, wrote:
>        mach_device="`echo "${grub_device}" | sed -e 's/(\(hd.*\),msdos\(.*\))/\1s\2/'`"
> +      hurd_device=`${grub_probe} --device ${DEVICE} --target=compatibility_hint | sed 's/,msdos/s/'`

Why adding another variable, instead of just fixing mach_device?  I
guess grub-probe simply changed something and the mach_device definition
needs to be updated.

> -	multiboot /boot/gnumach.gz root=device:${mach_device}
> +	multiboot /boot/gnumach.gz root=device:${hurd_device}

This is really meant to be a mach device name, not a "hurd device name".

Samuel