diff options
| -rwxr-xr-x | kern | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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 |