From 0bfa8976349c7f6cebe4b6d0103e89adc8fda6ea Mon Sep 17 00:00:00 2001
From: Shivam Mathur <shivam_jpr@hotmail.com>
Date: Fri, 10 Jan 2020 06:18:53 +0530
Subject: [PATCH] Improve remove_extensions in linux

---
 src/scripts/linux.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/scripts/linux.sh b/src/scripts/linux.sh
index e1dcb6f3..8307ec29 100644
--- a/src/scripts/linux.sh
+++ b/src/scripts/linux.sh
@@ -47,7 +47,8 @@ remove_extension() {
     sudo phpdismod -v "$version" "$extension"
   fi
   sudo sed -i "/$extension/d" "$ini_file"
-  sudo DEBIAN_FRONTEND=noninteractive apt-get remove php-"$extension" -y >/dev/null 2>&1
+  sudo rm -rf /etc/php/"$version"/cli/conf.d/*"$extension"* >/dev/null 2>&1
+  sudo rm -rf "$ext_dir"/"$extension".so >/dev/null 2>&1
 }
 
 # Function to setup a remote tool