Rename get_current_kernel to get_selected_kernel

In a similar vein to commit 5f83bed ("Use consistent and explicit
terminology in set_kernel()"), the term "current" kernel is ambiguous
here. An upcoming commit will introduce the concept of the "running
config", which is the kernel configuration the currently running kernel
uses. To reduce any ambiguity, use "selected" instead of "current".

1 files changed, 3 insertions, 3 deletions

diff --git a/kern b/kern
index d95ab9b..9c49ef7 100755
--- a/kern
+++ b/kern
@@ -26,18 +26,18 @@ get_latest_kernel() {
 	eselect --brief kernel list | tail -n1
 }
 
-get_current_kernel() {
+get_selected_kernel() {
 	basename "$(eselect --brief kernel show 2>/dev/null)"
 }
 
 set_kernel() {
 	kern=${1:-$(get_latest_kernel)}
-	current=$(get_current_kernel)
+	selected=$(get_selected_kernel)
 	kerndir=$SRCDIR/$kern
 
 	test -d "$kerndir" || errx "No such file or directory: $kerndir"
 
-	if test "$kern" = "$current"; then
+	if test "$kern" = "$selected"; then
 		err "Warning: Latest kernel already selected: $kern"
 		return
 	fi