plugin/ble.sh

pull/1950/head
John D Pell 2022-02-20 12:21:53 -08:00 committed by John D Pell
parent 7a9420ec9b
commit 9a322f7786
1 changed files with 1 additions and 2 deletions

View File

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