Re: Configure GRUB 2

2012-11-08 Thread Tom H
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 debian-user-requ...@lists.debian.org 
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: 
http://lists.debian.org/CAOdo=Sy-JfaqD7Abkdp+753GmJwi-j82ONA=ow8q80s5pzn...@mail.gmail.com



Re: Configure GRUB 2

2012-11-08 Thread Tom H
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 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?
>>
>> Are you trying to re-order the kernels of the installation where
>> grub's installed or the kernels of other installations?
>
> 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?

Since it's the kernels where grub's installed, there are three ways:

1) Set "GRUB_DEFAULT=N" in "/etc/default/grub" where N is the number
of the menuentry of the kernel that you want to boot (where the first
is 0 not 1) and run "update-grub".

2) Set "GRUB_DEFAULT=saved" and "GRUB_SAVEDEFAULT=true", run
"update-grub", and boot from the kernel that you want to use by
default.

3) Set "GRUB_DEFAULT=saved", run "grub-set-default N", and run "update-grub".

I have no idea what the advantages and disadvantages of the three methods are...


-- 
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/CAOdo=SzVjBBv=VVUh0rOQs0=-7n2q8lc4xorhdpw6e51rfq...@mail.gmail.com



Re: Configure GRUB 2

2012-11-08 Thread tv.deb...@googlemail.com

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 and locate the entry of
the kernel you want as a default. What you want is the part
immediately following the "menuentry" stanza, usually in between
single quotes (you don't need the whole line. Here is and example
grub.cfg menu entry:


menuentry 'Debian GNU/Linux, avec Linux 3.2.0-3-amd64 [...]


You would need to put the following entry in /etc/default/grub:

GRUB_DEFAULT='Debian GNU/Linux, avec Linux 3.2.0-3-amd64'


Then execute "update-grub".

I think this is a bad idea outside of a temporary test situation, if
you forget such a hack you'll be booting an old kernel possibly
vulnerable or troublesome as the default one. The config will also
break when this specific kernel version is removed by the package
manager.


A couple of points.

GRUB_DEFAULT takes a menu, not a title.


Bah, I meant it takes a NUMBER, not a title. So your first kernel is 0,
you probably then have the same kernel in emergency mode as 1, the next
kernel as 2 and so on.


Using a Title works in /etc/default/grub for the grub version currently 
in Wheezy/Sid, it will change with version 2 when the menu entries will 
be split between default and advanced.
Using a menuentry title is also supposed to work with grub-reboot too, 
but doesn't always in my experience despite the manual saying:


"ENTRY is a number or a menu item title."


--
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/509bc119.9080...@googlemail.com



Re: Configure GRUB 2

2012-11-08 Thread Darac Marjal
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
> > the kernel you want as a default. What you want is the part
> > immediately following the "menuentry" stanza, usually in between
> > single quotes (you don't need the whole line. Here is and example
> > grub.cfg menu entry:
> > 
> > 
> > menuentry 'Debian GNU/Linux, avec Linux 3.2.0-3-amd64 [...]
> > 
> > 
> > You would need to put the following entry in /etc/default/grub:
> > 
> > GRUB_DEFAULT='Debian GNU/Linux, avec Linux 3.2.0-3-amd64'
> > 
> > 
> > Then execute "update-grub".
> > 
> > I think this is a bad idea outside of a temporary test situation, if
> > you forget such a hack you'll be booting an old kernel possibly
> > vulnerable or troublesome as the default one. The config will also
> > break when this specific kernel version is removed by the package
> > manager.
> 
> A couple of points.
> 
> GRUB_DEFAULT takes a menu, not a title.

Bah, I meant it takes a NUMBER, not a title. So your first kernel is 0,
you probably then have the same kernel in emergency mode as 1, the next
kernel as 2 and so on.

> 
> Also, if you want to simulate the setting of GRUB_DEFAULT on a one-off
> basis, look at the "grub-reboot" command.




signature.asc
Description: Digital signature


Re: Configure GRUB 2

2012-11-08 Thread Darac Marjal
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
> immediately following the "menuentry" stanza, usually in between
> single quotes (you don't need the whole line. Here is and example
> grub.cfg menu entry:
> 
> 
> menuentry 'Debian GNU/Linux, avec Linux 3.2.0-3-amd64 [...]
> 
> 
> You would need to put the following entry in /etc/default/grub:
> 
> GRUB_DEFAULT='Debian GNU/Linux, avec Linux 3.2.0-3-amd64'
> 
> 
> Then execute "update-grub".
> 
> I think this is a bad idea outside of a temporary test situation, if
> you forget such a hack you'll be booting an old kernel possibly
> vulnerable or troublesome as the default one. The config will also
> break when this specific kernel version is removed by the package
> manager.

A couple of points.

GRUB_DEFAULT takes a menu, not a title.

Also, if you want to simulate the setting of GRUB_DEFAULT on a one-off
basis, look at the "grub-reboot" command.


signature.asc
Description: Digital signature


Re: Configure GRUB 2

2012-11-08 Thread tv.deb...@googlemail.com

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!) understand the principle, but not the nitty
gritty.  At least I now know what to Google.

Thanks!

Lisi




There really isn't much to do for what you want to achieve besides 
adding GRUB_DEFAULT=1 to /etc/default/grub and executing "update-grub".
Note that every entry count as one (failsafe, memtest ...), so to know 
what number you need to use look into /boot/grub/grub.cfg and count the 
number of "menuentry" blocks before the one you want as a default.


Custom entries are special cases where os-prober doesn't work, like 
booting from an .iso file somewhere on the disk, or an flash disk which 
isn't permanently connected.



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 immediately following 
the "menuentry" stanza, usually in between single quotes (you don't need 
the whole line. Here is and example grub.cfg menu entry:



menuentry 'Debian GNU/Linux, avec Linux 3.2.0-3-amd64 [...]


You would need to put the following entry in /etc/default/grub:

GRUB_DEFAULT='Debian GNU/Linux, avec Linux 3.2.0-3-amd64'


Then execute "update-grub".

I think this is a bad idea outside of a temporary test situation, if you 
forget such a hack you'll be booting an old kernel possibly vulnerable 
or troublesome as the default one. The config will also break when this 
specific kernel version is removed by the package manager.




I don't remember if you mentioned the Debian version you are using, but 
in wheezy/Sid there is a graphical application dubbed "startupmanager" 
allowing to edit you grub config from a graphical interface, including 
default entry.



--
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/509ba845.8080...@googlemail.com



Re: Configure GRUB 2

2012-11-08 Thread Lisi Reisz
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 the nitty 
gritty.  At least I now know what to Google.

Thanks!

Lisi


--
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/201211081025.49397.lisi.re...@gmail.com



Re: Configure GRUB 2

2012-11-08 Thread tv.deb...@googlemail.com

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./default/grub file below my signature again.

Thanks,
Lisi



[cut]

If by "menu" you mean grub2 equivalent of "menu.list" then
"/boot/grub/grub.cfg" is what you are looking for.


Yes, but it says you mustn't alter it manually.


Well it won't break if you do, but the changes will be lost the next 
time "update-grub" is run.





This file is
recreated every time "update-grub" or "grub-mkconfig" is run (which you
must do after modifying /etc/default/grub). Instead of using the
menu.cfg you can create any custom entry you'd like using a
/etc/grub/40_custom . "40" is just a hint here, choose what you want,
but you should find a template with this number in the /etc/grub
directory. All files there are sourced when "update-grub" is run and
used to generate grub.cfg.


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/



Hope it helps.


It does.  Thank you.

Lisi





--
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/509b741b.2030...@googlemail.com



Re: Configure GRUB 2

2012-11-08 Thread Lisi Reisz
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,
> >>> 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?
> >>
> >> We need more information.
> >>
> >> Are you trying to re-order the kernels of the installation where
> >> grub's installed or the kernels of other installations?
> >
> > I have upgraded the kernel rather disastrously and want to go back by
> > default to the older kernel.  I also want to find out how to do this,
> > since in GRUB 1 it was extremely easy.  I then want to compile the older
> > kernel to have the correct, older video drivers; which at present it
> > hasn't, which is the problem.  It has the wrong video drivers, or rather,
> > hasn't got the right ones.
> >
> > 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./default/grub file below my signature again.
> >
> > Thanks,
> > Lisi
>
> In /etc/default/grub put :
>
> GRUB_DEFAULT=1

Thank you!

> First kernel (higher version number) is "0", so "1" is the second.
>
> If by "menu" you mean grub2 equivalent of "menu.list" then
> "/boot/grub/grub.cfg" is what you are looking for. 

Yes, but it says you mustn't alter it manually.

> This file is 
> recreated every time "update-grub" or "grub-mkconfig" is run (which you
> must do after modifying /etc/default/grub). Instead of using the
> menu.cfg you can create any custom entry you'd like using a
> /etc/grub/40_custom . "40" is just a hint here, choose what you want,
> but you should find a template with this number in the /etc/grub
> directory. All files there are sourced when "update-grub" is run and
> used to generate grub.cfg.

Thank you!  I hadn't found references to /etc/grub/40.

> Hope it helps.

It does.  Thank you.

Lisi


-- 
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/201211080839.49866.lisi.re...@gmail.com



Re: Configure GRUB 2

2012-11-08 Thread tv.deb...@googlemail.com

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/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?


We need more information.

Are you trying to re-order the kernels of the installation where
grub's installed or the kernels of other installations?


I have upgraded the kernel rather disastrously and want to go back by
default
to the older kernel. I also want to find out how to do this, since in
GRUB 1
it was extremely easy. I then want to compile the older kernel to have
the
correct, older video drivers; which at present it hasn't, which is the
problem. It has the wrong video drivers, or rather, hasn't got the right
ones.

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./default/grub
file below my signature again.

Thanks,
Lisi


In /etc/default/grub put :

GRUB_DEFAULT=1

First kernel (higher version number) is "0", so "1" is the second.

If by "menu" you mean grub2 equivalent of "menu.list" then
"/boot/grub/grub.cfg" is what you are looking for. This file is
recreated every time "update-grub" or "grub-mkconfig" is run (which you
must do after modifying /etc/default/grub

grub.d it is, sorry
). Instead of using the

menu.cfg you can create any custom entry you'd like using a
/etc/grub/40_custom . "40" is just a hint here, choose what you want,
but you should find a template with this number in the /etc/grub

/etc/grub.d


directory. All files there are sourced when "update-grub" is run and
used to generate grub.cfg.

Hope it helps.





--
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/509b6d0c.80...@googlemail.com



Re: Configure GRUB 2

2012-11-08 Thread tv.deb...@googlemail.com

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 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?


We need more information.

Are you trying to re-order the kernels of the installation where
grub's installed or the kernels of other installations?


I have upgraded the kernel rather disastrously and want to go back by default
to the older kernel.  I also want to find out how to do this, since in GRUB 1
it was extremely easy.  I then want to compile the older kernel to have the
correct, older video drivers; which at present it hasn't, which is the
problem.  It has the wrong video drivers, or rather, hasn't got the right
ones.

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./default/grub
file below my signature again.

Thanks,
Lisi


In /etc/default/grub put :

GRUB_DEFAULT=1

First kernel (higher version number) is "0", so "1" is the second.

If by "menu" you mean grub2 equivalent of "menu.list" then 
"/boot/grub/grub.cfg" is what you are looking for. This file is 
recreated every time "update-grub" or "grub-mkconfig" is run (which you 
must do after modifying /etc/default/grub). Instead of using the 
menu.cfg you can create any custom entry you'd like using a 
/etc/grub/40_custom . "40" is just a hint here, choose what you want, 
but you should find a template with this number in the /etc/grub 
directory. All files there are sourced when "update-grub" is run and 
used to generate grub.cfg.


Hope it helps.


--
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/509b6c1f.7050...@googlemail.com



Re: Configure GRUB 2

2012-11-08 Thread Lisi Reisz
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 kernels at all in /etc/default/grub.
> > (See below.) So how do I boot from the earlier kernel?
>
> We need more information.
>
> Are you trying to re-order the kernels of the installation where
> grub's installed or the kernels of other installations?

I have upgraded the kernel rather disastrously and want to go back by default 
to the older kernel.  I also want to find out how to do this, since in GRUB 1 
it was extremely easy.  I then want to compile the older kernel to have the 
correct, older video drivers; which at present it hasn't, which is the 
problem.  It has the wrong video drivers, or rather, hasn't got the right 
ones.

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./default/grub 
file below my signature again.

Thanks,
Lisi
--
GRUB_CMDLINE_LINUX=""

# Uncomment to enable BadRAM filtering, modify to suit your needs
# This works with Linux (no patch required) and with any kernel that obtains
# the memory map information from GRUB (GNU Mach, kernel of FreeBSD ...)
#GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef"

# Uncomment to disable graphical terminal (grub-pc only)
#GRUB_TERMINAL=console

# The resolution used on graphical terminal
# note that you can use only modes which your graphic card supports via VBE
# you can see them in real GRUB with the command `vbeinfo'
#GRUB_GFXMODE=640x480

# Uncomment if you don't want GRUB to pass "root=UUID=xxx" parameter to Linux
#GRUB_DISABLE_LINUX_UUID=true

# Uncomment to disable generation of recovery mode menu entries
#GRUB_DISABLE_LINUX_RECOVERY="true"

# Uncomment to get a beep at grub start
#GRUB_INIT_TUNE="480 440 1"


-- 
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/201211080801.58395.lisi.re...@gmail.com



Re: Configure GRUB 2

2012-11-07 Thread Tom H
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 do I boot from the earlier kernel?

We need more information.

Are you trying to re-order the kernels of the installation where
grub's installed or the kernels of other installations?


-- 
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/CAOdo=SxAbOMuRJWR6ExUb3CCnX0L1aazFv4_iVUb_+e4C0k9=w...@mail.gmail.com



Re: Configure GRUB 2

2012-11-07 Thread Brian
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.)
> So how do I boot from the earlier kernel?  I must have misunderstood 
> something!

It's not clear to me in what way you want to alter the order of kernels
shown in the GRUB menu. Any chance of before and after examples.

Meanwhile (just to use a bit more bandwidth :-)), from 'info grub':

`GRUB_DEFAULT'
 The default menu entry.  This may be a number, in which case it
 identifies the Nth entry in the generated menu counted from zero,
 or the full name of a menu entry, or the special string `saved'.
 Using the full name may be useful if you want to set a menu entry
 as the default even though there may be a variable number of
 entries before it.

 If you set this to `saved', then the default menu entry will be
 that saved by `GRUB_SAVEDEFAULT', `grub-set-default', or
 `grub-reboot'.

 The default is `0'.


-- 
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/20121108002456.GG12976@desktop



Re: Configure GRUB 2

2012-11-07 Thread Luis Bandarra

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, 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 misunderstood
something!

Thanks,
Lisi
---

GRUB_CMDLINE_LINUX=""

# Uncomment to enable BadRAM filtering, modify to suit your needs
# This works with Linux (no patch required) and with any kernel that obtains
# the memory map information from GRUB (GNU Mach, kernel of FreeBSD ...)
#GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef"

# Uncomment to disable graphical terminal (grub-pc only)
#GRUB_TERMINAL=console

# The resolution used on graphical terminal
# note that you can use only modes which your graphic card supports via VBE
# you can see them in real GRUB with the command `vbeinfo'
#GRUB_GFXMODE=640x480

# Uncomment if you don't want GRUB to pass "root=UUID=xxx" parameter to Linux
#GRUB_DISABLE_LINUX_UUID=true

# Uncomment to disable generation of recovery mode menu entries
#GRUB_DISABLE_LINUX_RECOVERY="true"

# Uncomment to get a beep at grub start
#GRUB_INIT_TUNE="480 440 1"





--
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/509ae918.4060...@gmail.com



Configure GRUB 2

2012-11-07 Thread Lisi Reisz
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 misunderstood 
something!

Thanks,
Lisi
---

GRUB_CMDLINE_LINUX=""

# Uncomment to enable BadRAM filtering, modify to suit your needs
# This works with Linux (no patch required) and with any kernel that obtains
# the memory map information from GRUB (GNU Mach, kernel of FreeBSD ...)
#GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef"

# Uncomment to disable graphical terminal (grub-pc only)
#GRUB_TERMINAL=console

# The resolution used on graphical terminal
# note that you can use only modes which your graphic card supports via VBE
# you can see them in real GRUB with the command `vbeinfo'
#GRUB_GFXMODE=640x480

# Uncomment if you don't want GRUB to pass "root=UUID=xxx" parameter to Linux
#GRUB_DISABLE_LINUX_UUID=true

# Uncomment to disable generation of recovery mode menu entries
#GRUB_DISABLE_LINUX_RECOVERY="true"

# Uncomment to get a beep at grub start
#GRUB_INIT_TUNE="480 440 1"


-- 
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/201211072255.26341.lisi.re...@gmail.com