Bug#902061: works for me

2020-01-30 Thread Stefan Monnier
> 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

Bug#902061: works for me

2020-01-30 Thread Thomas Lange
You are right, 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

Bug#902061: works for me

2020-01-30 Thread Stefan Monnier
> I justs tested dracut with this in the kernel cmdline: > root=/dev/mapper/vg1-root > Works without any problems. But have you tested it with a disk that has different UUIDs? I just tried # lsinitrd /boot/initrd.img-5.3.0-2-armmp| grep by-uuid -rw-r--r-- 1 root root 146

Bug#902061: works for me

2020-01-30 Thread Thomas Lange
I justs tested dracut with this in the kernel cmdline: root=/dev/mapper/vg1-root Works without any problems. -- regards Thomas