Vasily Averin wrote: > While /dev mounted as tmpfs it does not contain /dev/disk/by-uuid directory, > 10_linux script did not check it properly and do not set root device via UUID. > Therefore following kernel boot can fail (incorrect root device) if device > names > was changed. > > I would be inclined to say that for mainline presence of /dev/disk/by-uuid is a reasonable indication that initrd supports root specified by UUID. If it's not present then we should assume initrd is dumb and doesn't recognises UUID= and just hardcode the device. The distributors can modify it as they see fit. > Attached path fixes this issue. Please review and commit it > > thank you, > Vasily Averin > > > ------------------------------------------------------------------------ > > _______________________________________________ > Grub-devel mailing list > [email protected] > http://lists.gnu.org/mailman/listinfo/grub-devel
-- Regards Vladimir 'phcoder' Serbinenko Personal git repository: http://repo.or.cz/w/grub2/phcoder.git _______________________________________________ Grub-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/grub-devel
