On 08/28/2017 06:35 PM, Hendrik Boom wrote:
> 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
>

I did this a few days ago, try commenting out the option completely, the
default is to run os-prober.

--
Héctor González
cacho@???