actions/setup-php
1
0
Fork 0
mirror of https://github.com/shivammathur/setup-php.git synced 2025-09-09 14:24:06 +07:00
Code Issues Packages Projects Releases Wiki Activity

Add support for removing extensions

Browse Source
This commit is contained in:
Shivam Mathur
2020-05-07 03:27:00 +05:30
parent f5863fd356
commit 8123132b99
7 changed files with 782 additions and 542 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/scripts/linux.sh
View File

@ -93,10 +93,16 @@ delete_extension() {
# Function to disable and delete extensions
remove_extension() {
extension=$1
if [[ ! "$version" =~ $old_versions ]] && [ -e /etc/php/"$version"/mods-available/"$extension".ini ]; then
sudo phpdismod -v "$version" "$extension"
if check_extension "$extension"; then
if [[ ! "$version" =~ $old_versions ]] && [ -e /etc/php/"$version"/mods-available/"$extension".ini ]; then
sudo phpdismod -v "$version" "$extension" >/dev/null 2>&1
fi
delete_extension "$extension"
(! check_extension "$extension" && add_log "$tick" ":$extension" "Removed") ||
add_log "$cross" ":$extension" "Could not remove $extension on PHP $semver"
else
add_log "$tick" ":$extension" "Could not find $extension on PHP $semver"
fi
delete_extension "$extension"
}
# Function to enable existing extension