[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: What happened to debian - does "stable" keep having any meaning?



On Thu, Mar 24, 2011 at 4:00 AM, Geronimo <geronimo013@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.


Reply to: