From 8f6ae5dfd64aa7ec57d8aa2b61db547716c62248 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Fri, 4 Jan 2019 23:41:36 +0100
Subject: update-website: correctly find kernel

---
 update-website | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

diff --git a/update-website b/update-website
index 7d16382..447aa48 100755
--- a/update-website
+++ b/update-website
@@ -256,11 +256,15 @@ for arch in "${!desc[@]}"; do
   sudo mount -o loop,ro "${iso}" "${tmp_dir}"
   kernels="$(
     printf '%s\n' ${kernels} $(
-      grep '/linux-[0-9]' "${tmp_dir}/arch/pkglist."*".txt" | \
-        grep -v 'pkglist\.x86_64\.txt:' | \
-        sed '
-          s|^\(.*:\)\?core/linux-||
-          s|-[0-9]\+$||
+      find "${tmp_dir}/arch" \
+        -maxdepth 1 \
+        -name 'pkglist.*.txt' \
+        -not -name 'pkglist.x86_64.txt' \
+        -execdir cat {} \; \
+        | sed '
+          s/^linux\s\+\([^-]\+-[^-]\+\)$/\1/
+          t
+          d
         '
       ) | \
       sort -u
-- 
cgit v1.2.3-54-g00ecf