Par contre, je trouve le fichier "/boot/grub/grub.cfg" très volumineux (142Ko
et 2.771 lignes), et les partitions de /dev/sda2 à sda7 n'ont pas toujours
leur bon UUID.
Exemple :
$menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-4.4.0-109-generic-root=UUID=3ba3cb5b-5a71-4d13-90d2-dcdfbea7b3b8
ro single-6af32adf-87c5-4c3f-b390-9727185169ef' ...
Dans un même menuentry /dev/sda5, deux UUID différents :
3ba3cb5b-5a71-4d13-90d2-dcdfbea7b3b8 = /dev/sda1
6af32adf-87c5-4c3f-b390-9727185169ef = /dev/sda5