Install PHP 7.2 on Ubuntu 18+.

pull/444/head^2
Joe Prochazka 2018-06-22 17:02:23 -04:00 zatwierdzone przez GitHub
rodzic 8f6cbc3f58
commit e11bbcea5d
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

@ -249,6 +249,7 @@ case $RECEIVER_OS_DISTRIBUTION in
ubuntu)
if [ `bc -l <<< "$RECEIVER_OS_RELEASE >= 16.04"` -eq 1 ]; then DISTRO_PHP_VERSION="7.0"; fi
if [ `bc -l <<< "$RECEIVER_OS_RELEASE >= 17.10"` -eq 1 ]; then DISTRO_PHP_VERSION="7.1"; fi
if [ `bc -l <<< "$RECEIVER_OS_RELEASE >= 18.04"` -eq 1 ]; then DISTRO_PHP_VERSION="7.2"; fi
;;
esac