steve
/
geoserver
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update install-extensions.sh 

Co-authored-by: Reinout van Rees <reinout@vanrees.org>
pull/102/head
Simon Hofer 2024-10-02 06:57:35 +02:00 committed by GitHub
parent 0a0b1525e5
commit 739b795315
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
install-extensions.sh
View File

@ -36,7 +36,7 @@ function install_lib() {
fi fi
} }
# Download stable plugins only if DOWNLOAD_EXTENSIONS is true # Download plugins only if DOWNLOAD_EXTENSIONS is true
if [ "$DOWNLOAD_EXTENSIONS" = "true" ]; then if [ "$DOWNLOAD_EXTENSIONS" = "true" ]; then
echo "Starting download of extensions" echo "Starting download of extensions"
if [ ! -d "$ADDITIONAL_LIBS_DIR" ]; then if [ ! -d "$ADDITIONAL_LIBS_DIR" ]; then