Update install.sh

pull/520/head
Timo Matthias 2019-07-19 16:57:39 +02:00 zatwierdzone przez GitHub
rodzic 65efe86a91
commit 56d431a109
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: 4AEE18F83AFDEB23
1 zmienionych plików z 1 dodań i 0 usunięć

Wyświetl plik

@ -245,6 +245,7 @@ DISTRO_PHP_VERSION="5"
case $RECEIVER_OS_DISTRIBUTION in
debian|raspbian)
if [[ $RECEIVER_OS_RELEASE -ge "9" ]]; then DISTRO_PHP_VERSION="7.0"; fi
if [[ $RECEIVER_OS_RELEASE -ge "10" ]]; then DISTRO_PHP_VERSION="7.3"; fi
;;
ubuntu)
if [ `bc -l <<< "$RECEIVER_OS_RELEASE >= 16.04"` -eq 1 ]; then DISTRO_PHP_VERSION="7.0"; fi