20 lines
634 B
Diff
20 lines
634 B
Diff
|
--- util/grub.d/10_linux.in
|
||
|
|
+++ util/grub.d/10_linux.in
|
||
|
|
@@ -61,7 +61,7 @@
|
||
|
|
EOF
|
||
|
|
}
|
||
|
|
|
||
|
|
-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`
|
||
|
|
|
||
|
|
@@ -78,6 +78,7 @@
|
||
|
|
initrd=
|
||
|
|
for i in "initrd.img-${version}" "initrd-${version}.img" \
|
||
|
|
"initrd-${version}" "initrd.img-${alt_version}" \
|
||
|
|
+ "initramfs-genkernel-${version}" "initramfs-genkernel-${alt_version}" \
|
||
|
|
"initrd-${alt_version}.img" "initrd-${alt_version}"; do
|
||
|
|
if test -e "${dirname}/${i}" ; then
|
||
|
|
initrd="$i"
|