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

Use lower case extension names

pull/127/head
Michele Locati 2020-02-29 18:44:31 +01:00
parent 119c431aef
commit ab6746373b
No known key found for this signature in database
GPG Key ID: 98B7CE2E7234E28B
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/ci-retrieve-recent-extensions
View File

@ -25,7 +25,7 @@ for XML_LINE in $XML; do
case "$XML_LINE" in case "$XML_LINE" in
\<item\ *) \<item\ *)
URL="$(printf '%s' "$XML_LINE" | sed -r 's#^.+ rdf:about\s*=\s*"##' | sed -r 's#".*$##')" URL="$(printf '%s' "$XML_LINE" | sed -r 's#^.+ rdf:about\s*=\s*"##' | sed -r 's#".*$##')"
EXTENSION="$(printf '%s' "$URL" | sed -r 's#^.*[?&]package=##' | sed -r 's#&.*$##')" EXTENSION="$(printf '%s' "$URL" | sed -r 's#^.*[?&]package=##' | sed -r 's#&.*$##' | tr '[:upper:]' '[:lower:]')"
if test -n "$EXTENSION" && ! stringInList "$EXTENSION" "$EXTENSIONS"; then if test -n "$EXTENSION" && ! stringInList "$EXTENSION" "$EXTENSIONS"; then
EXTENSIONS="$EXTENSIONS $EXTENSION" EXTENSIONS="$EXTENSIONS $EXTENSION"
NUM_EXTENSIONS=$((NUM_EXTENSIONS + 1)) NUM_EXTENSIONS=$((NUM_EXTENSIONS + 1))