mirror of
https://github.com/shivammathur/setup-php.git
synced 2025-07-27 00:53:51 +07:00
Fix enabling disabled extensions with dependencies
Improve enabling extensions with no dependencies
This commit is contained in:
@ -23,11 +23,14 @@ disable_dependency_extensions() {
|
||||
disable_extension_helper() {
|
||||
local extension=$1
|
||||
local disable_dependents=${2:-false}
|
||||
get_extension_map
|
||||
if [ "$disable_dependents" = "true" ]; then
|
||||
disable_extension_dependents "$extension"
|
||||
fi
|
||||
sudo sed -Ei '' "/=(.*\/)?\"?$extension(.so)?$/d" "${ini_file:?}"
|
||||
sudo rm -rf "$scan_dir"/*"$extension"*
|
||||
mkdir -p /tmp/extdisabled/"$version"
|
||||
echo '' | sudo tee /tmp/extdisabled/"$version"/"$extension" >/dev/null 2>&1
|
||||
}
|
||||
|
||||
# Function to fetch a brew tap.
|
||||
|
Reference in New Issue
Block a user