diff options
| -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 |