Re: Grub : filtrer les partitions non désirées
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.
Reply to: