On Friday 30 December 2022 20:12:09 didier gaumet wrote: > update-grub ne fera que mettre à jour la configuration qu'il faut donc > que tu définisses, par exemple dans /etc/default/grub, en spécifiant une > ligne telle que celle-ci (c'est un exemple à adapter): > GRUB_OS_PROBER_SKIP_LIST="UUID3 UUID7 UUID8@fichierEFI" > explications: > - UUID3 et UUID7 représentent par exemple ici une partition Slackware et > une partition OpenSuse qui ne t'intéressent pas et que tu ne veux pas > voir apparaître > - UUID8@fichierEFI représente par exemple une partition Windows qui ne > t'intéresse pas et qui ne serait pas démarrée directement par Grub mais > envoyée (chainload) au bootloader Microsoft, dans ce cas il faut > spécifier le fichier EFI (présent sur la partition ESP (EFI)) quelque > part dans /boot/efi/EFI/Microsoft qui est appelé par le bootloader Windows > (en gros, me souviens plus bien, je crois l'avoir fait une fois) > le manuel de Grub: > https://www.gnu.org/software/grub/manual/grub/grub.html#Simple-configuration > GRUB_OS_PROBER_SKIP_LIST > List of space-separated FS UUIDs of filesystems to be ignored from > os-prober output. For efi chainloaders it’s <UUID>@<EFI FILE>
Ok, merci, <UUID>@<EFI FILE> ne concerne donc que des partitions Windows/Microsoft. Pour les partitions ext4 Linux c'est UUID tout court. Joyeuse fête de fin d'année.
