On Thursday 08 November 2012 08:58:03 [email protected] wrote:
> > Thank you!  I hadn't found references to /etc/grub/40.
>
> I already corrected that, but for the sake of future references the
> correct path is: /etc/grub.d/

Yes, sorry.  I now (I hope!) understand the principle, but not the nitty 
gritty.  At least I now know what to Google.

Thanks!

Lisi


--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: http://lists.debian.org/[email protected]

Reply via email to