On Sat, Jun 28, 2014 at 7:48 AM, [...] > Grub is a *boot loader*. Lately (last few years), it seems to be trying to do a lot more. > What do you expect it to do? Mind read? I'd almost say that's one of the things the devs are trying to make it do. -- Joel Rees Be careful where you see conspiracy. Look first in your own heart.