Re: Grub : filtrer les partitions non désirées

2022-12-31 Par sujet didier gaumet
Le 30/12/2022 à 22:40, ajh-valmer a écrit : [...] @ ne concerne donc que des partitions Windows/Microsoft. Pour les partitions ext4 Linux c'est UUID tout court. [...] Littéralement, ça concerne tous les systèmes d'exploitation que Grub ne sait pas démarrer directement (actuellement tout ce qui

Re: Grub : filtrer les partitions non désirées

2022-12-30 Par sujet ajh-valmer
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 U

Re: Grub : filtrer les partitions non désirées

2022-12-30 Par sujet didier gaumet
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 d

Grub : filtrer les partitions non désirées

2022-12-30 Par sujet ajh-valmer
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