On Wed, Jul 17, 2013 at 10:15:10PM +0200, cosimo morelli wrote: > Oh so the problem is the file /etc/grub.d/07_debian_theme ? I have just to > remove the file or I have to modify something inside the other files of > grub?
The problem appears to be in that file, yes. Since I don't know what it contains I can't give accurate advice; I can only guess from its name. (It's possible there's some other problem further on. I can't tell. Fix the problem with 07_debian_theme, either by removing it or by fixing it, and either the problem will go away or tracing grub-mkconfig again will show the next target.) -- Colin Watson [cjwat...@debian.org] -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
