From 5733159956b1d2baa6e514b335d274a8056d9fbe Mon Sep 17 00:00:00 2001 From: tteckster Date: Sun, 13 Nov 2022 13:38:37 -0500 Subject: [PATCH] Update edge-kernel.sh fix "$opt" --- misc/edge-kernel.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/misc/edge-kernel.sh b/misc/edge-kernel.sh index 87c187bf..e13e4ed8 100644 --- a/misc/edge-kernel.sh +++ b/misc/edge-kernel.sh @@ -42,8 +42,8 @@ option_picked() { } clear show_menu -while [ $opt != '' ]; do - if [ $opt = '' ]; then +while [ "$opt" != "" ]; do + if [ "$opt" = "" ]; then exit else case $opt in