[PATCH] try to reread partition table in 10_linux

[Felix Zielcke]

/dev/disk/by-uuid seems to be only created when the partition table gets
reread after a new filesystem has been created.
So here's a patch which does it with sfdisk.

I wasn't sure if some devices like e.g. /dev/mapper/* should be ignored.
mdraid devices can have partitions so they should be tried too.

-- 
Felix Zielcke
Proud Debian Maintainer and GNU GRUB developer

sfdisk.patch
Description: Text Data