Fabio Erculiani
12 lines
298 B
Diff
12 lines
298 B
Diff
--- util/grub.d/10_linux.in
|
|
+++ util/grub.d/10_linux.in
|
|
@@ -93,7 +93,7 @@
|
|
echo "$a"
|
|
}
|
|
|
|
-list=`for i in /boot/vmlinu[xz]-* /vmlinu[xz]-* ; do
|
|
+list=`for i in /boot/kernel-* /boot/vmlinu[xz]-* /vmlinu[xz]-* ; do
|
|
if grub_file_is_not_garbage "$i" ; then echo -n "$i " ; fi
|
|
done`
|
|
|