On Thu, Mar 24, 2011 at 4:00 AM, Geronimo <geronimo...@arcor.de> 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 debian-user-requ...@lists.debian.org 
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: 
http://lists.debian.org/AANLkTim-azQA8fX3e=lbmhz6sg2rmovhhgwnd+sxr...@mail.gmail.com

Reply via email to