Adding set -x near the top of /etc/grub.d/07_debian_theme may help
diagnose exactly what's going on; but perhaps this is simply a leftover
from some local experiment and should be removed in favour of
/etc/grub.d/05_debian_theme.
Oh so the problem is the file /etc/grub.d/07_debian_theme ? I have
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
2 matches
Mail list logo