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.

1 files changed, 1 insertions, 1 deletions

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() {