From 739b795315361d49b1d03755dfe44e553d411508 Mon Sep 17 00:00:00 2001 From: Simon Hofer Date: Wed, 2 Oct 2024 06:57:35 +0200 Subject: [PATCH] Update install-extensions.sh Co-authored-by: Reinout van Rees --- install-extensions.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/install-extensions.sh b/install-extensions.sh index 09e6147..c2cb90b 100755 --- a/install-extensions.sh +++ b/install-extensions.sh @@ -36,7 +36,7 @@ function install_lib() { fi } -# Download stable plugins only if DOWNLOAD_EXTENSIONS is true +# Download plugins only if DOWNLOAD_EXTENSIONS is true if [ "$DOWNLOAD_EXTENSIONS" = "true" ]; then echo "Starting download of extensions" if [ ! -d "$ADDITIONAL_LIBS_DIR" ]; then