actions/setup-php
1
0
Fork 0
mirror of https://github.com/shivammathur/setup-php.git synced 2025-07-23 07:09:07 +07:00
Code Issues Packages Projects Releases Wiki Activity

Fix caching PDO extensions on linux

Browse Source
This commit is contained in:
Shivam Mathur
2020-03-05 05:58:24 +05:30
parent b7d68d8225
commit 58f376b118
4 changed files with 50 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
dist/index.js vendored
View File

@ -2917,12 +2917,18 @@ function addExtensionLinux(extension_csv, version, pipe) {
'\n' +
(yield utils.addLog('$tick', 'xdebug', 'Enabled', 'linux'));
return;
// match pdo extensions
case /.*pdo[_-].*/.test(version_extension):
script +=
'\nadd_pdo_extension ' +
extension.replace('pdo_', '').replace('pdo-', '');
return;
default:
install_command =
'sudo DEBIAN_FRONTEND=noninteractive apt-get install -y php' +
'sudo $debconf_fix apt-get install -y php' +
version +
'-' +
extension.replace('pdo_', '').replace('pdo-', '') +
extension +
pipe;
break;
}