Shell script `default/php-gearman'

Install Gearman lib for PHP7 on Ubutun 16.04 and 18.04

{% if server.distroName == 'Ubuntu' and server.distroVersion > 18 %} sudo apt-get -q -y -o Dpkg::Use-Pty=0 install php-gearman {% else %} sudo apt-get -q -y -o Dpkg::Use-Pty=0 install libgearman-dev wget https://github.com/wcgallego/pecl-gearman/archive/master.zip -O master.zip unzip -o master.zip cd pecl-gearman-master phpize ./configure sudo make install echo "extension=gearman.so" | sudo tee /etc/php/7.0/mods-available/gearman.ini sudo phpenmod -v ALL -s ALL gearman cd .. sudo rm -rf pecl-gearman-master rm master.zip {% endif %}