Improving removing extensions for Ubuntu SH runners

shivammathur · Sep 7, 2020 · 7b56e44 · 7b56e44
1 parent acc1fdb
commit 7b56e44
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/scripts/linux.sh b/src/scripts/linux.sh
@@ -125,7 +125,10 @@ delete_extension() {
   sudo sed -i "/$extension/d" "$pecl_file"
   sudo rm -rf "$scan_dir"/*"$extension"* >/dev/null 2>&1
   sudo rm -rf "$ext_dir"/"$extension".so >/dev/null 2>&1
-  [ "$runner" = "self-hosted" ] && $apt_remove "php-$extension"
+  if [ "$runner" = "self-hosted" ]; then
+    $apt_remove "php-$extension" >/dev/null 2>&1 || true
+    $apt_remove "php$version-$extension" >/dev/null 2>&1 || true
+  fi
 }
 
 # Function to disable and delete extensions.