actions/setup-php
1
0
Fork 0
mirror of https://github.com/shivammathur/setup-php.git synced 2024-11-26 21:33:06 +07:00
Code Issues Packages Projects Releases Wiki Activity

Revert to ppa:ondrej/ppa for phalcon3

Browse Source
This commit is contained in:
Shivam Mathur 2021-03-05 23:21:46 +05:30
parent 15b99e2a8d
commit 18f02c9c99
No known key found for this signature in database
GPG Key ID: 3E13E4C8591ACC2A
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/scripts/ext/phalcon.sh
View File

@ -6,8 +6,7 @@ add_phalcon_helper() {
if [ "$extension" = "phalcon4" ]; then if [ "$extension" = "phalcon4" ]; then
${apt_install:?} "php${version:?}-psr" "php${version:?}-$extension" ${apt_install:?} "php${version:?}-psr" "php${version:?}-$extension"
else else
get -q -e /tmp/phalcon.deb "https://packagecloud.io/phalcon/stable/packages/ubuntu/bionic/php${version:?}-phalcon_3.4.5-1+php${version:?}_amd64.deb/download.deb" ${apt_install:?} "php${version:?}-$extension"
sudo dpkg -i /tmp/phalcon.deb
fi fi
else else
sed -i '' '/extension.*psr/d' "${ini_file:?}" sed -i '' '/extension.*psr/d' "${ini_file:?}"