SHA256
1
0
forked from pool/supermin
supermin/supermin-kernel_version_compressed.patch

20 lines
722 B
Diff
Raw Normal View History

--- a/src/format_ext2_kernel.ml
+++ b/src/format_ext2_kernel.ml
@@ -252,6 +252,16 @@ and get_kernel_version debug kernel_file
| None ->
(* Try to work it out from the filename instead. *)
let basename = Filename.basename kernel_file in
+ let basename =
+ let len = String.length basename in
+ if Filename.check_suffix basename ".xz" || Filename.check_suffix basename ".gz"
+ then (
+ let basename = String.sub basename 0 (len-3) in
+ basename
+ )
+ else (
+ basename
+ ) in
if string_prefix "vmlinuz-" basename || string_prefix "vmlinux-" basename
then (
let version = String.sub basename 8 (String.length basename - 8) in