public-mirrors
/
docker-php-extension-installer
mirror of https://github.com/mlocati/docker-php-extension-installer
1
0
Fork 0
Code

Update install-php-extensions

pull/63/head
Quan TRAN 2019-12-18 14:39:02 +01:00 committed by Michele Locati
parent 821cc51fc2
commit b97c7db893
No known key found for this signature in database
GPG Key ID: 98B7CE2E7234E28B
1 changed files with 0 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
install-php-extensions
View File

@ -41,22 +41,6 @@ getDistro () {
fi fi
} }
# Get the distribution name with version
#
# Output:
# alpine<verion_id>|debian<verion_id>
getDistroVersion () {
getDistro_version_id=''
if test -r /etc/os-release; then
getDistro_version_id="$(cat /etc/os-release | grep -E ^VERSION_ID= | cut -d = -f 2)"
fi
if test -n "$getDistro_version_id"; then
printf '%s' "$(getDistro)$getDistro_version_id"
else
printf '%s' ''
fi
}
# Get the PHP Major-Minor version as an integer value, in format MMmm (example: 506 for PHP 5.6.15) # Get the PHP Major-Minor version as an integer value, in format MMmm (example: 506 for PHP 5.6.15)
# #
# Output: # Output: