From fb1ad7fc84538fabe36e479c13b5762d92012ad1 Mon Sep 17 00:00:00 2001 From: Shivam Mathur Date: Thu, 9 Feb 2023 15:50:52 +0530 Subject: [PATCH] Fix enable_extension --- src/scripts/extensions/add_extensions.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/scripts/extensions/add_extensions.sh b/src/scripts/extensions/add_extensions.sh index 69b99fc4..3a3375a3 100644 --- a/src/scripts/extensions/add_extensions.sh +++ b/src/scripts/extensions/add_extensions.sh @@ -50,7 +50,7 @@ enable_extension() { enable_cache_extension_dependencies "$1" "$2" if command -v phpenmod >/dev/null 2>&1; then mod="${ini_dir:?}"/../mods-available/"$1".ini - [ ! -e "$mod" ] || (echo "; priority=${3:'20'}"; echo "$2=${ext_dir:?}/$1.so") | sudo tee "$mod" >/dev/null + [ -e "$mod" ] || (echo "; priority=${3:'20'}"; echo "$2=${ext_dir:?}/$1.so") | sudo tee "$mod" >/dev/null sudo phpenmod -v "$version" "$1" >/dev/null 2>&1 else echo "$2=${ext_dir:?}/$1.so" | sudo tee -a "${pecl_file:-${ini_file[@]}}" >/dev/null