Update edge-kernel.sh

fix "$opt"
pull/752/head
tteckster 2 years ago committed by GitHub
parent be152dd3aa
commit 5733159956
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -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

Loading…
Cancel
Save

Powered by BW's shoe-string budget.