mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-21 23:02:40 +00:00
* util/grub.d/10_linux.in: Try version without ".old" when
looking for initrd. It's better to use initrd from the newer kernel of the same version than no initrd at all.
This commit is contained in:
1 parent
d98d9cad88
commit
92695df9e8
2 files changed
+9
-1
No files matched your search
@@ -84,9 +84,11 @@ while [ "x$list" != "x" ] ; do
|
||||
dirname=`dirname $linux`
|
||||
grub_dirname=`echo ${dirname} | sed -e "s%^/boot%${GRUB_DRIVE_BOOT}%g"`
|
||||
version=`echo $basename | sed -e "s,^[^0-9]*-,,g"`
|
||||
alt_version=`echo $version | sed -e "s,\.old$,,g"`
|
||||
|
||||
initrd=
|
||||
for i in "initrd.img-${version}" "initrd-${version}.img"; do
|
||||
for i in "initrd.img-${version}" "initrd-${version}.img" \
|
||||
"initrd.img-${alt_version}" "initrd-${alt_version}.img"; do
|
||||
if test -e "${dirname}/${i}" ; then
|
||||
initrd="$i"
|
||||
break
|
||||
|
||||
Reference in new issue
Block a user