From 9a322f77867e11b7d135f920bbb2eda51d35bef1 Mon Sep 17 00:00:00 2001 From: John D Pell Date: Sun, 20 Feb 2022 12:21:53 -0800 Subject: [PATCH] plugin/ble.sh --- plugins/available/blesh.plugin.bash | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/plugins/available/blesh.plugin.bash b/plugins/available/blesh.plugin.bash index 6acd19ff..075f4db4 100644 --- a/plugins/available/blesh.plugin.bash +++ b/plugins/available/blesh.plugin.bash @@ -1,8 +1,7 @@ # shellcheck shell=bash -cite about-plugin about-plugin 'load ble.sh, the Bash line editor!' -if [[ ${BLE_VERSION-} ]]; then +if [[ -n "${BLE_VERSION-}" ]]; then _log_warning "ble.sh is already loaded!" return fi