1
0
Fork 0
mirror of https://github.com/YunoHost-Apps/freshrss_ynh.git synced 2024-09-03 18:36:33 +02:00

Install php5-gmp only if necessary on upgrade

This commit is contained in:
tostaki 2016-09-04 12:57:30 +02:00 committed by GitHub
parent 032dd348fe
commit 6c361dce62

View file

@ -36,6 +36,8 @@ sudo rm -rf "$FINAL_PATH"
sudo cp -rp "$TMPDIR" "$FINAL_PATH" sudo cp -rp "$TMPDIR" "$FINAL_PATH"
#install extention for api #install extention for api if necessary
sudo apt-get update if ! dpkg -s php5-gmp | grep "installed" > /dev/null 2>&1; then
sudo apt-get install -y php5-gmp sudo apt-get update
sudo apt-get install -y php5-gmp
fi