From c5d29cf8e390c88fcac0e839e2356298e1577b2b Mon Sep 17 00:00:00 2001 From: Shivam Mathur Date: Wed, 12 Aug 2020 16:57:58 +0530 Subject: [PATCH] Fix removing extensions on Ubuntu SH runners. (#271) --- src/scripts/linux.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/scripts/linux.sh b/src/scripts/linux.sh index e9cd3c72..0ab6cbfd 100644 --- a/src/scripts/linux.sh +++ b/src/scripts/linux.sh @@ -124,6 +124,7 @@ 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" } # Function to disable and delete extensions. @@ -397,6 +398,7 @@ old_versions="5.[3-5]" debconf_fix="DEBIAN_FRONTEND=noninteractive" github="https://github.com/shivammathur" apt_install="sudo $debconf_fix apt-fast install -y" +apt_remove="sudo $debconf_fix apt-fast remove -y" tool_path_dir="/usr/local/bin" curl_opts=(-sL) existing_version=$(php-config --version 2>/dev/null | cut -c 1-3)