Merge branch 'master' into master

This commit is contained in:
AbdBarho 2023-09-09 16:01:58 +02:00 committed by GitHub
commit ba66665d96
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -62,6 +62,12 @@ shopt -s nullglob
# For install.py, please refer to https://github.com/AUTOMATIC1111/stable-diffusion-webui/wiki/Developing-extensions#installpy
list=(./extensions/*/install.py)
for installscript in "${list[@]}"; do
EXTNAME=`echo $installscript | cut -d '/' -f 3`
# Skip installing dependencies if extension is disabled in config
if `jq -e ".disabled_extensions|any(. == \"$EXTNAME\")" config.json`; then
echo "Skipping disabled extension ($EXTNAME)"
continue
fi
PYTHONPATH=${ROOT} python "$installscript"
done