From 6afb134571d36cd5ab6a05a9bf80a18632ff2581 Mon Sep 17 00:00:00 2001
From: Wynn Wolf Arbor
Date: Thu, 4 Jun 2020 14:27:09 +0200
Subject: Use readlink(1) to get the currently selected kernel

get_selected_kernel uses eselect(1) to retrieve the currently selected
kernel. Since the eselect tool itself does nothing other than invoke
readlink(1) on /usr/src/linux, use that instead.
---
 kern | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kern b/kern
index 9c49ef7..4809a2c 100755
--- a/kern
+++ b/kern
@@ -27,7 +27,7 @@ get_latest_kernel() {
 }
 
 get_selected_kernel() {
-	basename "$(eselect --brief kernel show 2>/dev/null)"
+	readlink "$SRCDIR/linux"
 }
 
 set_kernel() {
-- 
cgit v1.2.3-2-gb3c3