maj:php
Pour connaître la version PHP, on tape dans la console :
php -v
On liste les packages relatifs à PHP :
dpkg -l | grep php
Ce qui nous intéresse : les packages PHP7.0. Il s’agit de les mettre à jour en PHP7.2. On installe le repository ondrej pour obtenir les packages PHP 7.2 si ce n’est déjà fait :
apt-get install python-software-properties add-apt-repository ppa:ondrej/nginx add-apt-repository ppa:ondrej/apache2 add-apt-repository ppa:ondrej/php apt-get update
Tester l’installation des packages, avec l’option -–dry-run :
apt-get install --dry-run php-pear php7.2-curl php7.2-dev php7.2-gd php7.2-mbstring php7.2-zip php7.2-mysql php7.2-xml
Si tout est ok, on lance l'installation réelle, en ajustant selon les packages :
apt-get install php7.2-bz2 php7.2-cli php7.2-common php7.2-curl php7.2-dev php7.2-gd php7.2-mbstring php7.2-zip php7.2-mysql php7.2-xml php7.2-fpm php7.2-imap php7.2-json php7.2-ldap php7.2-opcache php7.2-readline
Pour apache, on modifie la version PHP utilisée par défaut :
update-alternatives --set php /usr/bin/php7.2
Si on utilise seulement Nginx, on modifie la conf :
fastcgi_pass unix:/var/run/php7.2-fpm.sock;
On relance les services :
service apache2 restart service nginx restart
maj/php.txt · Dernière modification : 2018/07/30 10:09 de linkuff