Fix to avoid double activation

shivammathur · May 3, 2023 · 00a68a7 · 00a68a7
1 parent cb8f453
commit 00a68a7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/scripts/extensions/add_extensions.sh b/src/scripts/extensions/add_extensions.sh
@@ -49,6 +49,7 @@ enable_extension() {
     enable_extension_dependencies "$1" "$2"
     enable_cache_extension_dependencies "$1" "$2"
     if ! [[ "${version:?}" =~ ${old_versions:?} ]] && command -v phpenmod >/dev/null 2>&1; then
+      sudo sed -Ei "/=(.*\/)?\"?$extension(.so)?$/d" "$pecl_file"
       mod="${ini_dir:?}"/../mods-available/"$1".ini
       if ! [ -e "$mod" ]; then
         priority="${3:-20}";