On Thursday 08 November 2012 05:02:23 Tom H wrote:
On Wed, Nov 7, 2012 at 5:55 PM, Lisi Reisz lisi.re...@gmail.com 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
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 Reiszlisi.re...@gmail.com 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 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 Reiszlisi.re...@gmail.com wrote:
As I understand the GRUB manual, if I want to change the config file,
then i
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 Reiszlisi.re...@gmail.com wrote:
As I understand the GRUB manual, if I want to change the
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
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
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!)
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
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
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
On Thu, Nov 8, 2012 at 3:01 AM, Lisi Reisz lisi.re...@gmail.com wrote:
On Thursday 08 November 2012 05:02:23 Tom H wrote:
On Wed, Nov 7, 2012 at 5:55 PM, Lisi Reisz lisi.re...@gmail.com wrote:
As I understand the GRUB manual, if I want to change the config file,
then i have to edit
On Thu, Nov 8, 2012 at 7:47 AM, Darac Marjal mailingl...@darac.org.uk 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
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
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
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
On Wed, Nov 7, 2012 at 5:55 PM, Lisi Reisz lisi.re...@gmail.com 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
16 matches
Mail list logo
