On Thursday 08 November 2012 08:58:03 tv.debian@googlemail.com 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