diff options
author | Erich Eckner <git@eckner.net> | 2018-01-10 22:06:15 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-01-10 22:06:15 +0100 |
commit | 7a59ceac08fbb5fdddaa66006271fc4eb979125f (patch) | |
tree | 9966dc4408b6839f6ff8e2e0792a57c7c1287b34 | |
parent | 726b1850da914fdebed50ed417052728cc6824e8 (diff) | |
download | check-kernel-7a59ceac08fbb5fdddaa66006271fc4eb979125f.tar.xz |
check-kernel.in: find arch kernel with non-standard name (e.g. linux-raspberry)
-rw-r--r-- | check-kernel.in | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/check-kernel.in b/check-kernel.in index 4b9f421..9c2f2e4 100644 --- a/check-kernel.in +++ b/check-kernel.in @@ -56,8 +56,18 @@ if which pacman >/dev/null 2>&1; then ' ) installed=$( - pacman -Q linux | \ - cut -d' ' -f2 + { + pacman -Q linux 2>/dev/null || \ + pacman -Q | \ + grep '^linux-' | \ + sed ' + s/-headers / / + ' | \ + uniq -d + } | \ + cut -d' ' -f2 | \ + sort -V | \ + tail -n1 ) elif which apt >/dev/null 2>&1; then # debian |