build/plugins: provide local override here as well
This commit is contained in:
parent
808649f0ed
commit
679f0cc68e
|
@ -1,3 +1,4 @@
|
||||||
/config/*/build.conf.local
|
/config/*/build.conf.local
|
||||||
|
/config/*/plugins.conf.local
|
||||||
/config/*/repo.key
|
/config/*/repo.key
|
||||||
/config/*/repo.pub
|
/config/*/repo.pub
|
||||||
|
|
|
@ -31,9 +31,15 @@ SELF=plugins
|
||||||
|
|
||||||
. ./common.sh
|
. ./common.sh
|
||||||
|
|
||||||
|
PLUGINS_CONF=${CONFIGDIR}/plugins.conf
|
||||||
|
|
||||||
|
if [ -f ${PLUGINS_CONF}.local ]; then
|
||||||
|
PLUGINS_CONF="${PLUGINS_CONF} ${PLUGINS_CONF}.local"
|
||||||
|
fi
|
||||||
|
|
||||||
if [ -z "${PLUGINS_LIST}" ]; then
|
if [ -z "${PLUGINS_LIST}" ]; then
|
||||||
PLUGINS_LIST=$(
|
PLUGINS_LIST=$(
|
||||||
cat ${CONFIGDIR}/plugins.conf | while read PLUGIN_ORIGIN PLUGIN_IGNORE; do
|
cat ${PLUGINS_CONF} | while read PLUGIN_ORIGIN PLUGIN_IGNORE; do
|
||||||
if [ "$(echo ${PLUGIN_ORIGIN} | colrm 2)" = "#" ]; then
|
if [ "$(echo ${PLUGIN_ORIGIN} | colrm 2)" = "#" ]; then
|
||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
Loading…
Reference in New Issue