On Fri 15 Dec 2017 at 20:33:29 +0100, Pascal Hambourg wrote: > Le 15/12/2017 à 18:18, Brian a écrit : > > On Fri 15 Dec 2017 at 17:53:57 +0100, Pascal Hambourg wrote: > > > > > <https://www.gnu.org/software/grub/manual/grub/grub.html>. > > > > > > ‘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> > > > > > > But it allows to exclude only known filesystems. > > > > Known filesystems include ext4? > > Filesystem instances, not filesystem types. > You can skip filesystems if you know their UUIDs. But e.g. an unreported > filesystem on a removable device won't be skipped.
No removable device devices here. A machine with four ext4 partitions; nothing extraordinary. root@stretch:~# update-grub Generating grub configuration file ... Found linux image: /boot/vmlinuz-4.9.0-4-686-pae Found initrd image: /boot/initrd.img-4.9.0-4-686-pae Found Debian GNU/Linux 8 (jessie) on /dev/sda1 Found Debian GNU/Linux buster/sid on /dev/sdb5 Found Debian GNU/Linux buster/sid on /dev/sdb6 done What should I expect with GRUB_OS_PROBER_SKIP_LIST="UUID_of_sdb6" in /etc/default/grub? -- Brian.