blob: 9de981dc745bc3d55b8172b1d577452464b2253f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
diff --git a/grub_linux_entry b/grub_linux_entry
index 538f9d3..9d1581f 100755
--- a/grub_linux_entry
+++ b/grub_linux_entry
@@ -128,7 +128,7 @@ while [ "x$list" != "x" ] ; do
gettext_printf "Found linux image: %s\n" "$linux" >&2
basename=`basename $linux`
dirname=`dirname $linux`
- 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}"
|