Re: Grub : filtrer les partitions non désirées
Le 30/12/2022 à 18:13, ajh-valmer a écrit :
Hello,
update-grub2 permet-il d'ignorer des partitions que l'on veut pas ?
(pas besoin de booter sur ces partitions),
afin d'alléger le fichier grub.cfg
Merci,
A. Valmer
Bonjour,
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>
[...]
Reply to: