On Mon, Aug 28, 2017 at 03:56:13PM -0700, Gregory Nowak wrote:
> On Mon, Aug 28, 2017 at 06:37:04PM -0400, Hendrik Boom wrote:
> > Now I can't figure out how to set options so that update-grub uses
> > os-prober.
>
> You do have the os-prober package installed, yes?

Yes.

root@notlookedfor:/boot/grub# which os-prober
/usr/bin/os-prober
root@notlookedfor:/boot/grub#

I'm running a Devuan Jessie system.

-- hendrik