Bug#717177: closed by Colin Watson <cjwatson at debian.org> (Re: Bug#717177: grub-pc: impossible to have a working grub or a working kernel)

[Colin Watson]

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                                       [cjwatson at debian.org]