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