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