On 9/1/23 03:54, Sam Varshavchik wrote:
Stephen Morris writes:
And at boot/reboot, GRUB had to be configured to read the default
variable to see which menu item to boot.
I lack the perseverance to read through the conglomeration of GRUB menu
files to see what it does these days.
From a
Stephen Morris writes:
And at boot/reboot, GRUB had to be configured to read the default
variable to see which menu item to boot.
I lack the perseverance to read through the conglomeration of GRUB menu
files to see what it does these days.
From a google check for the default grub kernel boots
On 08/01/2023 01:40, Sam Varshavchik wrote:
Can anyone try using grubby --set-default to change the default boot
kernel to something other than the most recently-installed kernel,
successfully?
It tells me that it obeys my request, and grubby --info=DEFAULT shows
that the default boot
Hi
On Sun, 08 Jan 2023 18:46:09 +1100 Stephen Morris wrote:
> From a google check for the default grub kernel boots it seems that if
> you add the following two statements into /etc/default/grub and then run
> grub2-mkconfig grub will use the last selected kernel as the default
> boot
On 8/1/23 15:58, Tim via users wrote:
On Sat, 2023-01-07 at 20:40 -0500, Sam Varshavchik wrote:
Can anyone try using grubby --set-default to change the default boot kernel
to something other than the most recently-installed kernel, successfully?
It tells me that it obeys my request, and grubby
On 8/1/23 15:14, Sam Varshavchik wrote:
Tom Horsley writes:
On Sat, 07 Jan 2023 20:40:18 -0500
Sam Varshavchik wrote:
> But at boot the grub menu still highlights the most recently installed
> kernel, and that's what boots by default.
If you can stand looking through the scripts that are
On Sat, 2023-01-07 at 20:40 -0500, Sam Varshavchik wrote:
> Can anyone try using grubby --set-default to change the default boot kernel
> to something other than the most recently-installed kernel, successfully?
>
> It tells me that it obeys my request, and grubby --info=DEFAULT shows that
>
Tom Horsley writes:
On Sat, 07 Jan 2023 20:40:18 -0500
Sam Varshavchik wrote:
> But at boot the grub menu still highlights the most recently installed
> kernel, and that's what boots by default.
If you can stand looking through the scripts that are used to build
the grub.cfg (I think they may
On Sat, 07 Jan 2023 20:40:18 -0500
Sam Varshavchik wrote:
> But at boot the grub menu still highlights the most recently installed
> kernel, and that's what boots by default.
If you can stand looking through the scripts that are used to build
the grub.cfg (I think they may live in /etc/grub.d)
Can anyone try using grubby --set-default to change the default boot kernel
to something other than the most recently-installed kernel, successfully?
It tells me that it obeys my request, and grubby --info=DEFAULT shows that
the default boot kernel is what I specified.
But at boot the grub
10 matches
Mail list logo