blob: f5d1d67799fc0b70e7f9d106347cfaa6e074a602 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
diff --git a/util/grub.d/10_linux.in b/util/grub.d/10_linux.in
index de9044c7f..a9087da35 100644
--- a/util/grub.d/10_linux.in
+++ b/util/grub.d/10_linux.in
@@ -178,8 +178,20 @@ title_correction_code=
submenu_indentation=""
is_top_level=true
+default_kernel_grabbed=false
+default_kernel_name="/boot/vmlinuz-linux"
while [ "x$list" != "x" ] ; do
linux=`version_find_latest $list`
+ if ! $default_kernel_grabbed; then
+ for i in $list; do
+ if [ $i == $default_kernel_name ]
+ then
+ linux=$default_kernel_name
+ break
+ fi
+ done
+ default_kernel_grabbed=true
+ fi
gettext_printf "Found linux image: %s\n" "$linux" >&2
basename=`basename $linux`
dirname=`dirname $linux`
|