diff options
author | Erich Eckner <git@eckner.net> | 2019-01-04 23:41:36 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-01-04 23:41:36 +0100 |
commit | 8f6ae5dfd64aa7ec57d8aa2b61db547716c62248 (patch) | |
tree | 3f0520f7ffd9ca9e0ccd9181f99ddf9df45c5d6e | |
parent | 3da6360c92ae865358398ae53220086bc8d54c7c (diff) | |
download | releng-8f6ae5dfd64aa7ec57d8aa2b61db547716c62248.tar.xz |
update-website: correctly find kernel
-rwxr-xr-x | update-website | 14 |
1 files 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 |