On Thu, Mar 24, 2011 at 4:00 AM, Geronimo <[email protected]> wrote: > Tom H wrote: >> >> I don't have 05_debian_theme on my boxes (deleted!) but looking >> quickly at 10_linux, the first "set root..." comes from a grub-probe >> of the directory corresponding to $GRUB_THEME. > > I don't need debian_theme, guess it came from christmas addons. I don't care > about the look of grub - I just want to bring up the system to start work. > > To complete confusion, I guess, that debian_theme tries to get some files from > /usr/share/... so if /usr is another drive (like in my case), it has to have a > different root.
I don't know from where GRUB_THEME comes but you can set it to null in "/etc/default/grub" (GRUB_THEME=""), re-generate grub.cfg, and check whether any set root points to "/usr" and whether you can boot with that grub.cfg. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
