> it worked for me, because I have a separate /boot partition. After
> changing the uuid of /boot, the machine does not boot.
>
> But IMO it's a problem of grub, using this sort of code in grub.cfg:
>
> if [ x$feature_platform_search_hint = xy ]; then
>   search --no-floppy --fs-uuid --set=root  
> 31147a1b-b3d3-1234-93ee-93854ac2505d
> else
>   search --no-floppy --fs-uuid --set=root 31147a1b-b3d3-1234-93ee-93854ac2505d
> fi
>
> If if would not use uuids here, it may work.

IIRC, this part was not problematic: Grub came up and it did load the
relevant kernel (and initrd), thanks presumably to "sane fallback
defaults".  The problem showed up later when the initrd script somehow
insisted on cheking for the presence of the partition with the
relevant UUID.


        Stefan

Reply via email to