mirror of
https://src.fedoraproject.org/rpms/grub2.git
synced 2024-11-28 15:46:53 +00:00
36 lines
911 B
Diff
36 lines
911 B
Diff
Until we're able to decide which kernel to make default (e.g with grubby),
|
|
pick the most recent one.
|
|
|
|
Lubomir Rintel <lkundrak@v3.sk>
|
|
|
|
Index: util/grub.d/10_linux.in
|
|
===================================================================
|
|
--- util/grub.d/10_linux.in (revision 1797)
|
|
+++ util/grub.d/10_linux.in (working copy)
|
|
@@ -82,23 +82,9 @@
|
|
return $?
|
|
}
|
|
|
|
-find_latest ()
|
|
-{
|
|
- local a=""
|
|
- for i in $@ ; do
|
|
- if test_gt "$i" "$a" ; then
|
|
- a="$i"
|
|
- fi
|
|
- done
|
|
- echo "$a"
|
|
-}
|
|
-
|
|
-list=`for i in /boot/vmlinu[xz]-* /vmlinu[xz]-* ; do
|
|
- if grub_file_is_not_garbage "$i" ; then echo -n "$i " ; fi
|
|
- done`
|
|
-
|
|
-while [ "x$list" != "x" ] ; do
|
|
- linux=`find_latest $list`
|
|
+ls -c /boot/vmlinu[xz]-* /vmlinu[xz]-* 2>/dev/null |while read linux
|
|
+do
|
|
+ grub_file_is_not_garbage "$linux" || continue
|
|
echo "Found linux image: $linux" >&2
|
|
basename=`basename $linux`
|
|
dirname=`dirname $linux`
|