On Thu, Nov 8, 2012 at 7:47 AM, Darac Marjal wrote:
> On Thu, Nov 08, 2012 at 01:40:37PM +0100, tv.deb...@googlemail.com wrote:
>>
>> menuentry 'Debian GNU/Linux, avec Linux 3.2.0-3-amd64 [...]
>
> GRUB_DEFAULT takes a menu, not a title.
You can use a title too.
--
To UNSUBSCRIBE, email to deb
On Thu, Nov 8, 2012 at 3:01 AM, Lisi Reisz wrote:
> On Thursday 08 November 2012 05:02:23 Tom H wrote:
>> On Wed, Nov 7, 2012 at 5:55 PM, Lisi Reisz wrote:
>>>
>>> As I understand the GRUB manual, if I want to change the config file,
>>> then i have to edit /etc/default/grub. I want to change the
On 08/11/2012 13:50, Darac Marjal wrote:
On Thu, Nov 08, 2012 at 12:47:28PM +, Darac Marjal wrote:
On Thu, Nov 08, 2012 at 01:40:37PM +0100, tv.deb...@googlemail.com wrote:
[cut]
If you don't want to boot the previous kernel, but a specific one
(known to work), cat the /boot/grub/grub.cfg
On Thu, Nov 08, 2012 at 12:47:28PM +, Darac Marjal wrote:
> On Thu, Nov 08, 2012 at 01:40:37PM +0100, tv.deb...@googlemail.com wrote:
> [cut]
> >
> >
> > If you don't want to boot the previous kernel, but a specific one
> > (known to work), cat the /boot/grub/grub.cfg and locate the entry of
On Thu, Nov 08, 2012 at 01:40:37PM +0100, tv.deb...@googlemail.com wrote:
[cut]
>
>
> If you don't want to boot the previous kernel, but a specific one
> (known to work), cat the /boot/grub/grub.cfg and locate the entry of
> the kernel you want as a default. What you want is the part
> immediatel
On 08/11/2012 11:25, Lisi Reisz wrote:
On Thursday 08 November 2012 08:58:03 tv.deb...@googlemail.com wrote:
Thank you! I hadn't found references to /etc/grub/40.
I already corrected that, but for the sake of future references the
correct path is: /etc/grub.d/
Yes, sorry. I now (I hope!) u
On Thursday 08 November 2012 08:58:03 tv.deb...@googlemail.com wrote:
> > Thank you! I hadn't found references to /etc/grub/40.
>
> I already corrected that, but for the sake of future references the
> correct path is: /etc/grub.d/
Yes, sorry. I now (I hope!) understand the principle, but not th
On 08/11/2012 09:39, Lisi Reisz wrote:
On Thursday 08 November 2012 08:23:59 tv.deb...@googlemail.com wrote:
On 08/11/2012 09:01, Lisi Reisz wrote:
[cut]
And yes, the two kernels where GRUB is installed. I simply can't see any
menu there, so how do I alter the menu order? I'll put the
/etc.
On Thursday 08 November 2012 08:23:59 tv.deb...@googlemail.com wrote:
> On 08/11/2012 09:01, Lisi Reisz wrote:
> > On Thursday 08 November 2012 05:02:23 Tom H wrote:
> >> On Wed, Nov 7, 2012 at 5:55 PM, Lisi Reisz wrote:
> >>> As I understand the GRUB manual, if I want to change the config file,
>
On 08/11/2012 09:23, tv.deb...@googlemail.com wrote:
On 08/11/2012 09:01, Lisi Reisz wrote:
On Thursday 08 November 2012 05:02:23 Tom H wrote:
On Wed, Nov 7, 2012 at 5:55 PM, Lisi Reisz wrote:
As I understand the GRUB manual, if I want to change the config file,
then i have to edit /etc/defaul
On 08/11/2012 09:01, Lisi Reisz wrote:
On Thursday 08 November 2012 05:02:23 Tom H wrote:
On Wed, Nov 7, 2012 at 5:55 PM, Lisi Reisz wrote:
As I understand the GRUB manual, if I want to change the config file,
then i have to edit /etc/default/grub. I want to change the order of the
kernels in
On Thursday 08 November 2012 05:02:23 Tom H wrote:
> On Wed, Nov 7, 2012 at 5:55 PM, Lisi Reisz wrote:
> > As I understand the GRUB manual, if I want to change the config file,
> > then i have to edit /etc/default/grub. I want to change the order of the
> > kernels in GRUB, but I can't see any ke
On Wed, Nov 7, 2012 at 5:55 PM, Lisi Reisz wrote:
>
> As I understand the GRUB manual, if I want to change the config file, then i
> have to edit /etc/default/grub. I want to change the order of the kernels in
> GRUB, but I can't see any kernels at all in /etc/default/grub. (See below.)
> So how
On Wed 07 Nov 2012 at 22:55:26 +, Lisi Reisz wrote:
> As I understand the GRUB manual, if I want to change the config file, then i
> have to edit /etc/default/grub. I want to change the order of the kernels in
> GRUB, but I can't see any kernels at all in /etc/default/grub. (See below.)
> S
Hi,
I also look into the files in /etc/grub.d/
There is a README file there that says something about the order of
kernels, perhaps it helps. (I just change the 30_osprober)
Bandarra
On 07-11-2012 22:55, Lisi Reisz wrote:
As I understand the GRUB manual, if I want to change the config file
As I understand the GRUB manual, if I want to change the config file, then i
have to edit /etc/default/grub. I want to change the order of the kernels in
GRUB, but I can't see any kernels at all in /etc/default/grub. (See below.)
So how do I boot from the earlier kernel? I must have misundersto
16 matches
Mail list logo
