From c5ccb8850dbcd4001bdcfab37bc347d56c74e521 Mon Sep 17 00:00:00 2001 From: jprochazka Date: Tue, 10 Oct 2017 16:27:11 -0400 Subject: [PATCH] PHP version detection fix. --- bash/portal/install.sh | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/bash/portal/install.sh b/bash/portal/install.sh index 41cf5d1..e6107b4 100755 --- a/bash/portal/install.sh +++ b/bash/portal/install.sh @@ -239,6 +239,7 @@ fi # Detect the OS distribution and version. DISTRO_ID=`. /etc/os-release; echo ${ID/*, /}` DISTRO_RELEASE=`. /etc/os-release; echo ${VERSION_ID/*, /}` +DISTRO_PHP_VERSION="5" case $DISTRO_ID in debian|raspbian) @@ -247,9 +248,6 @@ case $DISTRO_ID in ubuntu) if [[ $DISTRO_RELEASE -ge "16.04" ]]; then DISTRO_PHP_VERSION="7.0"; fi ;; - *) - DISTRO_PHP_VERSION="5" - ;; esac # Install PHP.