Merge pull request #145 from shivammathur/develop

Improve remove_extensions in linux
shivammathur · Jan 10, 2020 · 2ee4653 · 2ee4653
2 parents 71db1e2 + 0b3e0f4
commit 2ee4653
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 6 deletions.
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "setup-php",
-  "version": "1.7.1",
+  "version": "1.7.2",
   "private": false,
   "description": "Setup PHP for use with GitHub Actions",
   "main": "dist/index.js",

diff --git 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