mirror of
https://gitlab.com/ceda_ei/wish
synced 2025-04-04 14:56:53 +02:00
Make WISH_PLUGINS_SOURCE backwards compatible
This commit is contained in:
parent
e01b29d4a0
commit
afd6dc6668
5
wish.sh
5
wish.sh
@ -27,6 +27,11 @@ function wish_init() {
|
|||||||
fi
|
fi
|
||||||
done
|
done
|
||||||
# Source all plugins
|
# Source all plugins
|
||||||
|
# If WISH_CONFIG_FILE is not set, then assume that the user hasn't updated
|
||||||
|
# to a config file yet. Set WISH_PLUGINS_SOURCE=WISH_PLUGINS.
|
||||||
|
if [[ ! -v WISH_CONFIG_FILE ]]; then
|
||||||
|
WISH_PLUGINS_SOURCE=("${WISH_PLUGINS[@]}" "${WISH_RIGHT_PLUGINS[@]}")
|
||||||
|
fi
|
||||||
local plugin
|
local plugin
|
||||||
local path
|
local path
|
||||||
for plugin in ${WISH_PLUGINS_SOURCE[@]}; do
|
for plugin in ${WISH_PLUGINS_SOURCE[@]}; do
|
||||||
|
Loading…
x
Reference in New Issue
Block a user