PS : Au cas où il arriverait que la machine démarre avec d’autres disques présents (internes ou externes), il serait plus prudent d’utiliser les UUID des partitions comme GRUB le fait dans ses entrées de menu auto-générées, par exemple :
insmod part_gpt
insmod hfsplus
set root='hd0,gpt2'
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2 6201e6e69aa6d78b
else
search --no-floppy --fs-uuid --set=root 6201e6e69aa6d78b
fi
L’UUID est la chaîne de caractère à la fin des lignes search
, qui doit correspondre à l’UUID de la partition affiché par blkid
(pas le PARTUUID que GRUB ne semble pas savoir utiliser, ce qui est fort dommage à mon avis).
Autant en mode BIOS le disque de boot est toujours hd0, autant je ne peux garantir que c’est le cas en mode EFI, la notion même de disque de boot étant floue dans ce contexte.