mirror of
https://github.com/shivammathur/setup-php.git
synced 2025-08-12 16:44:41 +07:00
Add support to disable dependent extensions
This commit is contained in:
@ -9,7 +9,11 @@ self_hosted_helper() {
|
||||
|
||||
# Helper function to disable an extension.
|
||||
disable_extension_helper() {
|
||||
extension=$1
|
||||
local extension=$1
|
||||
local disable_dependents=${2:-false}
|
||||
if [ "$disable_dependents" = "true" ]; then
|
||||
disable_extension_dependents "$extension"
|
||||
fi
|
||||
sudo sed -Ei '' "/=(.*\/)?\"?$extension(.so)?$/d" "${ini_file:?}"
|
||||
sudo rm -rf "$scan_dir"/*"$extension"*
|
||||
}
|
||||
|
Reference in New Issue
Block a user