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

Add support for ext-gearman. Closes #116

Browse Source
This commit is contained in:
Shivam Mathur
2019-12-14 08:15:39 +05:30
parent 87e6c70743
commit 8f8207a1ca
4 changed files with 52 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/extensions.ts
View File

@ -106,6 +106,18 @@ export async function addExtensionLinux(
version +
' >/dev/null 2>&1';
break;
case '7.0gearman':
case '7.1gearman':
case '7.2gearman':
case '7.3gearman':
case '7.4gearman':
install_command =
'sh ' +
path.join(__dirname, '../src/scripts/gearman.sh') +
' ' +
version +
' >/dev/null 2>&1';
break;
default:
install_command =
'sudo DEBIAN_FRONTEND=noninteractive apt-get install -y php' +

9
src/scripts/gearman.sh Normal file
View File

@ -0,0 +1,9 @@
release_version=$(lsb_release -s -r)
sudo DEBIAN_FRONTEND=noninteractive add-apt-repository ppa:ondrej/pkg-gearman -y
sudo DEBIAN_FRONTEND=noninteractive apt-get update -y
if [ "$release_version" = "18.04" ]; then
sudo DEBIAN_FRONTEND=noninteractive apt-fast install -y libgearman-dev php"$1"-gearman
elif [ "$release_version" = "16.04" ]; then
sudo DEBIAN_FRONTEND=noninteractive apt-fast install -y php"$1"-gearman
fi