1 |
Andrés Becerra Sandoval <andres.becerra@×××××.com> writes: |
2 |
|
3 |
> If you put the kernels in /boot with proper names and launch: |
4 |
> |
5 |
> grub2-mkconfig -o /boot/grub/grub.cfg |
6 |
> |
7 |
> Grub will set up the kernels for you. |
8 |
|
9 |
How do you then choose which one to boot by default? I normally run |
10 |
hardened-sources but also want to occasional boot (eg test) the latest |
11 |
gentoo-sources kernel which is often a higher version than the latest |
12 |
hardened one. So I might have (in /boot) |
13 |
vmlinuz-3.12.6-hardened-r4 |
14 |
vmlinuz-3.12.8-hardened |
15 |
vmlinuz-3.12.8-hardened-r1 |
16 |
vmlinuz-3.13.0-gentoo-r1 |
17 |
|
18 |
grub2-mkconfig will set the highest version as the default (ie without |
19 |
manual menu selection) to boot. I would like to configure it so that the |
20 |
default is the latest -hardened. |