default kernel order issue with RC and final versions
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
grub2 (Ubuntu) |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
So i have these kernels installed:
Found linux image: /boot/vmlinuz-
Found initrd image: /boot/initrd.
Found linux image: /boot/vmlinuz-
Found initrd image: /boot/initrd.
Found linux image: /boot/vmlinuz-
Found initrd image: /boot/initrd.
When grub.cfg is generated 3.12.0-031200 should be the default kernel but instead 3.12.0-031200rc7 is default
the default should the 3.12 final instead or 3.12 rc7
ProblemType: Bug
DistroRelease: Ubuntu 13.10
Package: grub2-common 2.00-19ubuntu2.1
Uname: Linux 3.12.0-
NonfreeKernelMo
ApportVersion: 2.12.5-0ubuntu2.1
Architecture: amd64
Date: Sun Nov 3 20:17:46 2013
InstallationDate: Installed on 2013-05-01 (186 days ago)
InstallationMedia: Xubuntu 13.04 "Raring Ringtail" - Release amd64 (20130423.1)
MarkForUpload: True
SourcePackage: grub2
UpgradeStatus: No upgrade log present (probably fresh install)
Changed in grub2 (Ubuntu): | |
status: | Incomplete → New |
At first, it looks like this is simply because "/boot/ vmlinuz- 3.12.0- 031200rc7- generic" is lexicographically greater than "/boot/ vmlinuz- 3.12.0- 031200- generic" , but I haven't actually looked at the source for grub2, and something in /etc/grub. d/10_linux may also be responsible for sorting the entries.
I haven't come across documentation saying whether or not this is expected behavior, but in bug 476540 it was mentioned how the entry sorting was changed to the algorithm used by dpkg. The discussion in http:// savannah. gnu.org/ bugs/?42597 would indicate this is issue is due to the intended behavior of /etc/grub. d/10_linux, at least upstream. There are several other similar discussions grub2's kernel menu sorting and /etc/grub. d/10_linux.
There was a similar issue reported with update-initramfs that was resolved by using the linux-version command (from linux-base): cf. https:/ /bugs.debian. org/cgi- bin/bugreport. cgi?bug= 770394 . This might be something to incorporate into /etc/grub. d/10_linux as a solution to this and similar issues.
I happened to be testing mainline kernels at the moment, and as a workaround I use grub-customizer to specify which kernel to boot.