14 lines
558 B
Diff
14 lines
558 B
Diff
diff --git a/util/grub.d/10_linux.in b/util/grub.d/10_linux.in
|
|
index cc393be7e..8bc407a9a 100644
|
|
--- a/util/grub.d/10_linux.in
|
|
+++ b/util/grub.d/10_linux.in
|
|
@@ -210,7 +210,7 @@ for linux in ${reverse_sorted_list}; do
|
|
basename=`basename $linux`
|
|
dirname=`dirname $linux`
|
|
rel_dirname=`make_system_path_relative_to_its_root $dirname`
|
|
- version=`echo $basename | sed -e "s,^[^0-9]*-,,g"`
|
|
+ version=`echo $basename | sed -e "s/vmlinuz-//g"`
|
|
alt_version=`echo $version | sed -e "s,\.old$,,g"`
|
|
linux_root_device_thisversion="${LINUX_ROOT_DEVICE}"
|
|
|