On Thursday 08 November 2012 08:58:03 tv.deb...@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 -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/201211081025.49397.lisi.re...@gmail.com
