diff options
author | Daniel Hansson <github@techandme.se> | 2018-09-11 23:34:24 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-11 23:34:24 +0300 |
commit | 2e12d91bac5203918411a8708333ee21a55d232c (patch) | |
tree | 0d047918b680388f8c275e3adf5862c4f36a6593 /nextcloud_update.sh | |
parent | 1592fb45e504158a393970fd7231f9d070647df6 (diff) |
add backwards compability
avoid errors if it's not php 7.2, old VMs already have php 7.0-dev installed but check anyway
Diffstat (limited to 'nextcloud_update.sh')
-rw-r--r-- | nextcloud_update.sh | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/nextcloud_update.sh b/nextcloud_update.sh index 501f0030..56a9d913 100644 --- a/nextcloud_update.sh +++ b/nextcloud_update.sh @@ -53,10 +53,15 @@ fi # Update Redis PHP extension if type pecl > /dev/null 2>&1 then + if type php7.2 > /dev/null 2>&1 + then install_if_not php7.2-dev - echo "Trying to upgrade the Redis Pecl extenstion..." - yes no | pecl upgrade redis - service redis-server restart + else + install_if_not php7.0-dev + fi +echo "Trying to upgrade the Redis Pecl extenstion..." +yes no | pecl upgrade redis +service redis-server restart fi # Update adminer |