On Fri 15 Dec 2017 at 17:53:57 +0100, Pascal Hambourg wrote: > Le 15/12/2017 à 17:40, Brian a écrit : > > On Fri 15 Dec 2017 at 16:31:54 +0100, Pascal Hambourg wrote: > > > > > Le 15/12/2017 à 14:42, Richard Owlett a écrit : > > > > > > > > I have 2 similar problems which wouldn't be solved by disabling > > > > os-prober. > > > > > > > > The common characteristic is wishing to probe all operating systems > > > > residing on on a specific physical device. I multi-boot. There may be an > > > > OS on any number of mounted devices (flash drives etc) which I do not > > > > wish to probe. > > > > > > I do not know any way to tell os-prober to limit the set of probed > > > devices. > > > I guess you could edit /etc/grub.d/30_os-prober to filter out unwanted > > > devices from os-prober output with grep or so. > > > > GRUB_OS_PROBER_SKIP_LIST? It's mentioned in /etc/grub.d/30_os-prober > > and /usr/sbin/grub-mkconfig. > > Yes, it is described in > <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? -- Brian.
